consequent

(=>     (and         (attribute ?OBJ ?ATTR)         (instance ?ATTR FoodAttribute))     (instance ?OBJ PreparedFood))	Dining.kif 1130-1134	If an attribute is an attribute of an object and the attribute is an instance of FoodAttribute, then the object is an instance of PreparedFood
(=>     (and         (attribute ?X ?Y)         (instance ?Y Cuisine))     (instance ?X PreparedFood))	Dining.kif 1262-1266	If an attribute is an attribute of an object and the attribute is an instance of Cuisine, then the object is an instance of PreparedFood
(=>     (instance ?M Microwave)     (hasPurpose ?M         (exists (?FOOD ?HEATING)             (and                 (instance ?FOOD PreparedFood)                 (instance ?HEATING Heating)                 (instrument ?HEATING ?M)                 (patient ?HEATING ?FOOD)))))	Food.kif 355-363	If a physical is an instance of Microwave, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of PreparedFood and the other entity is an instance of heating and the physical is an instrument for the other entity and the entity is a patient of the other entity
(=>     (instance ?RATING FoodRating)     (hasPurpose ?RATING         (exists (?C ?FOOD)             (and                 (instance ?C Classifying)                 (destination ?C ?FOOD)                 (patient ?C ?RATING)                 (instance ?FOOD PreparedFood)))))	Hotel.kif 3063-3071	If a physical is an instance of FoodRating, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of classifying and the entity ends up at the other entity and the physical is a patient of the entity and the other entity is an instance of PreparedFood
(=>     (instance ?S Spice)     (hasPurpose ?S         (exists (?PUT ?F)             (and                 (instance ?PUT Putting)                 (patient ?PUT ?S)                 (destination ?PUT ?F)                 (instance ?F PreparedFood)))))	Economy.kif 4707-4715	If a physical is an instance of Spice, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of PreparedFood
(=>     (instance ?SVC RoomService)     (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)         (and             (customer ?CUSTOMER ?AGENT)             (agent ?SVC ?AGENT)             (instance ?RQST Requesting)             (agent ?RQST ?CUSTOMER)             (patient ?RQST ?ORDER)             (represents ?ORDER ?FOOD)             (instance ?FOOD PreparedFood)             (located ?CUSTOMER ?LOC)             (instance ?LOC HotelUnit)             (instance ?DELIVERY DeliveryService)             (patient ?DELIVERY ?FOOD)             (destination ?DELIVERY ?LOC)             (before                 (BeginFn                     (WhenFn ?RQST))                 (BeginFn                     (WhenFn ?DELIVERY))))))	Hotel.kif 1980-1998	If a process is an instance of RoomService, then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that customer the cognitive agent and the agent and the agent is an agent of the process and the other process is an instance of requesting and the cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of PreparedFood and the cognitive agent is located at the object and the object is an instance of HotelUnit and the third process is an instance of DeliveryService and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
(=>     (instance ?X WetBar)     (exists (?SINK ?OBJ)         (and             (instance ?SINK WashBasin)             (part ?SINK ?X)             (instance ?OBJ Object)             (attribute ?OBJ Flat)             (hasPurpose ?OBJ                 (exists (?PREP ?FOOD)                     (and                         (instance ?PREP Making)                         (result ?PREP ?FOOD)                         (or                             (instance ?FOOD PreparedFood)                             (instance ?FOOD Beverage))                         (eventLocated ?PREP ?OBJ))))             (part ?OBJ ?X))))	Food.kif 331-348	If an object is an instance of WetBar, then there exist another object and a third object such that the other object is an instance of WashBasin and the other object is a part of the object and the third object is an instance of object and Flat is an attribute of the third object and the third object has the purpose there exist an entity and another entity such that the entity is an instance of making and the other entity is a result of the entity and the other entity is an instance of PreparedFood or the other entity is an instance of beverage and event located the entity and the third object and the third object is a part of the object

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