antecedent

(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Object)         (instance ?X ?PHYS))     (confersRight         (exists (?PROC)             (and                 (instance ?PROC Process)                 (or                     (resource ?PROC ?X)                     (instrument ?PROC ?X)                     (patient ?PROC ?X))                 (or                     (agent ?PROC ?CUST)                     (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Process))     (modalAttribute         (exists (?S ?LOC ?PROC)             (and                 (element ?LOC                     (PropertyFn ?AGENT))                 (agent ?S ?AGENT)                 (patient ?S ?CUST)                 (or                     (instance ?S ?PHYS)                     (and                         (instance ?PROC ?PHYS)                         (subProcess ?S ?PROC)))                 (located ?S ?LOC))) Possibility))	Hotel.kif 522-538	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of process, then the statement there exist an entity, another entity and a third entity such that the other entity is an element of belongings of the agent and the agent is an agent of the entity and the cognitive agent is a patient of the entity and the entity is an instance of the kind of physical or the third entity is an instance of the kind of physical and the entity is a subprocess of the third entity and the entity is located at the other entity has the modal force of possibility
(=>     (propertyAmenity ?HR VideoCheckOut)     (exists (?VD ?ROOM)         (and             (instance ?VD VideoDisplay)             (capability VideoCheckOut instrument ?VD)             (located ?VD ?ROOM)             (instance ?ROOM ?HR))))	Hotel.kif 2242-2249	If an agent has video check-out, then there exist an object and another object such that the object is an instance of video display and the object is capable of doing video check-out as a instrument and the object is located at the other object and the other object is an instance of the agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners