No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the temporary residence or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	If a kind of physical is an amenity in a kind of hotel unit and a kind of physical is a subclass of object, then for all an object if the object is an instance of a kind of hotel unit, then there exists another physical such that the object is an instance of the kind of hotel unit and the other physical is an instance of the kind of physical and the other physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	If a kind of process is a subclass of process and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the case role the other process and the object, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2777-2782	If a cognitive agent wants a physical and the physical is an instance of object, then the cognitive agent desires the cognitive agent possesses the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1257-1271	If user an agent on a web site is watching a collection and a process is an instance of web listing and an entity is an instance of object and the entity is a patient of the process and the process is a member of the collection, then the statement the agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the agent is an agent of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 690-700	If user a cognitive agent at a web site has cart a collection and a physical is an instance of object and the physical is a member of the collection, then the cognitive agent desires there exists an entity such that the entity is an instance of buying and the physical is a patient of the entity and the cognitive agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 858-860	If an object is an instance of object, then the object is capable of doing translocation as a destination
No TPTP formula. May not be expressible in strict first order.	Merge.kif 854-856	If an object is an instance of object, then the object is capable of doing translocation as a origin
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8110-8122	If a physical is an instance of object, then there exist a time point and another time point such that the time point is an instance of time point and the other time point is an instance of time point and the time point happens before the other time point and for all a third time point if the time point happens before or at the third time point and the third time point happens before or at the other time point, then the physical exists during the third time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17699-17703	If an object is an instance of object, then monochromatic is an attribute of the object or polychromatic is an attribute of the 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