Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of object, then there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
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.	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.	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.	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.	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.	Economy.kif 5258-5265	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	If duty free is an attribute of an object and the object is an instance of store, then there exist a geopolitical area, an entity,, , another kind of object and a process such that the geopolitical area is an instance of geopolitical area and the object is located at the geopolitical area and another kind of object is a subclass of object and the other kind of object is an import commodity type of the geopolitical area and the entity is an instance of the other kind of object and the process is an instance of selling and the entity is a patient of the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit 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 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 the object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2271-2278	If a kind of physical is a natural hazard type in area of a geographic area and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 846-846	Object is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2068-2068	Tornado damage is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4797-4797	Two dimensional object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15250-15250	Transitway obstacle is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24553-24553	Contact site is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25611-25611	Spherical object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 862-862	Self connected object is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	Region is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1261-1261	Collection is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1556-1556	Agent is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14022	Astronomical body is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15681-15681	Artifact is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3866-3866	Magnet is a subclass of 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