No TPTP formula. May not be expressible in strict first order.	Cars.kif 2502-2510	If a physical is an instance of electrolyte, then the physical has the purpose there exists the physicalT such that the physicalT is an instance of electric transmission and the physical is a patient of the physicalT and liquid is an attribute of the physical holds during the physicalT
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1587-1596	If a physical is an instance of hydraulic fluid, then the physical has the purpose there exists an entity such that the entity is an instance of process and the physical is an instrument for the entity and liquid is an attribute of the physical holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3051-3060	If a physical is an instance of hydrometer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11438-11446	If a process is an instance of injecting, then there exist an object and an entity such that the object is a patient of the process and the object is an instance of biologically active substance and liquid is an attribute of the object and the process ends up at the entity and the entity is an instance of animal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7493-7495	If an object is an instance of liquid drop, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14716-14721	If an object is an instance of liquid mixture, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17560-17562	If an object is an instance of solution, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17538-17549	If a process is an instance of pouring, then there exist an object, another object and an entity such that the process originates at the other object and the process ends up at the entity and the other object is an instance of container and the entity is an instance of container and the other object is not equal to the entity and the object is a patient of the process and liquid is an attribute of the object and the object is an instance of substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1087-1089	If a weather process is an instance of freezing rain, then liquid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1053-1055	If a weather process is an instance of raining, then liquid is a precipitation state of the weather process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2068-2074	If an object is an instance of sauce, then there exists another object such that the other object is an instance of substance and the other object is a part of the object and liquid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1092-1103	If a process is an instance of spraying, then there exist an object, another object and a third object such that gas is an attribute of the object and liquid is an attribute of the other object and the third object is an instance of gas mixture and the third object is a part of the object and the third object is a part of the other object and the object is a patient of the process and the other object is a patient of the process and the third object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	If a physical is an instance of strainer, then the physical has the purpose there exist an entity, the physicalUB,, , a third entity and a fourth entity such that the entity is an instance of mixture and the physicalUB is an instance of substance and the third entity is an instance of substance and the physicalUB is a part of the entity and solid is an attribute of the physicalUB and the fourth entity is an instance of removing and the third entity is a part of the entity and liquid is an attribute of the third entity and the physicalUB is a patient of the fourth entity and the third entity is a result of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2389-2391	If a transportation device is an instance of liquefied gas tanker ship, then the class corresponding to liquid is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10853-10855	If an object is an instance of liquid body substance, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2236-2246	If an object is an instance of tank car, then there exists the objectRANS such that the object is capable of doing the class described by the objectRANS as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12766-12771	If a process is an instance of wetting, then there exists an object such that liquid is an attribute of the object and the object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2449-2461	If an entity is an instance of cocoa liquor, then there exist a process and an object such that the process is an instance of heating and the object is a patient of the process and the object is an instance of cocoa bean and hulled is an attribute of the object and HulledAttribute is an attribute of the object and fermented is an attribute of the object and the entity is a result of the process and liquid is an attribute of the entity holds during the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21575-21584	If an entity is an instance of emulsion, then there exist an object and another object such that the object is an instance of substance and the other object is an instance of substance and liquid is an attribute of the object and liquid is an attribute of the other object and the object is not equal to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2099-2101	If an object is an instance of urine, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29801-29810	If an object is downstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29823-29832	If an object is downwind to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the other object and the other object before the object on path the fourth object during the transfer and the transfer ends up at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29790-29799	If an object is upstream to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29812-29821	If an object is upwind to another object, then there exist a transfer, a third object and a fourth object such that the transfer is an instance of transfer and liquid is an attribute of the third object and the fourth object is path along which the transfer occurs and the transfer originates at the object and the object before the other object on path the fourth object during the transfer and the transfer ends up at the other object

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