No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2400-2402	If a transportation device is an instance of CombinationBulkOilCarrierShip, then object is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26527-26536	If a process is an instance of soaking, then there exist an object and an entity such that the entity is an instance of object and the entity is a patient of the process and the object is an instance of freshwater and the object is a resource for the process and the entity is surrounded to the object holds during the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11569-11578	If a motion is an instance of translocation, then there exist an object, an entity and another object such that the object is an instance of object and the entity is an instance of object and the other object is an instance of object and the other object is path along which the motion occurs and the motion originates at the object and the motion ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	If a transportation device is an instance of truck, then there exists a kind of object such that a kind of object is a subclass of object and the kind of object is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1959-1972	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vending and the entity is an instance of human and the other entity is an instance of object and the object transferred in the third entity is the other entity and the physical is an instrument for the third entity and the third entity originates at the physical and the other entity is not an instance of currency and the third entity ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1655-1668	If a physical is an instance of business center, then the physical has the purpose there exist an entity, another entity and a third entity such that business person is an attribute of the entity and the other entity is an instance of working and the third entity is an instance of object and the third entity is located at the physical and the entity is an agent of the other entity and the third entity is an instrument for the other entity or the third entity is a resource for the other entity or the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18421-18442	If a physical is an instance of protecting, then the physical has the purpose there exist an entity, another entity,, , a third entity and the third entityARM such that the entity is an instance of object and object is a patient of the physical and the third entityARM is a subclass of the class described by the third entity and the physical prevents the occurrence of the third entityARM or the physical hinders the third entityARM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3280-3288	If a process is an instance of sculpting, then there exist another process and an entity such that the entity is an instance of object and the entity is a patient of the process and the other process is an instance of shape change and the other process is a subprocess of the process and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	If an object is an instance of wet bar, then there exist another object and a third object such that the other object is an instance of wash basin 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 prepared food or the other entity is an instance of beverage and the entity is located at the third object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17894-17903	If the relative angle between an object and another object is a real number, then the object is an instance of object and long and thin is an attribute of the object and the other object is an instance of object and long and thin is an attribute of the other object and the object is connected to the other object and the object is not equal to the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3035-3062	If the rate of snow falling at a geographic area during a time interval is a function quantity, then there exist a transfer, an object,, , a self connected object,, , an entity,, , another self connected object and another entity such that the transfer is an instance of snowing and the transfer is located at the geographic area and the time of existence of the transfer takes place during the time interval and the object is an instance of snow and the object transferred in the transfer is the object and the self connected object is an instance of board or block and the bottom of the self connected object is the other self connected object and flat is an attribute of the other self connected object and the self connected object is located at the geographic area and there doesn't exist a third entity such that the third entity is an instance of object and the third entity is located at the self connected object holds during the beginning of the time interval and the object is located at the self connected object and the top of the object is the entity and the depth from the entity to the other self connected object is the other entity and the other entity is equal to the time interval and the function quantity holds during the end of the time interval

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