No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2055-2064	If an entity is an instance of shuttle, then the statement there exist another entity and a third entity such that the other entity is an instance of group of people and the third entity is an instance of group of people and the other entity is a patient of the entity and the third entity is a patient of the entity and the other entity is not equal to the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14441-14447	If an entity is an instance of video recording, then the statement there exists another entity such that the other entity is an instance of audio recording and the other entity is a part of the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3847-3860	If an entity is an instance of full-sized bed, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is not equal to the third entity and the other entity is an instance of human and the third entity is an instance of human and asleep is an attribute of the other entity and asleep is an attribute of the third entity and the other entity is located at the entity and the third entity is located at the entity holds during the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1706-1712	If an entity is an instance of hotel function room, then the statement there exists another entity such that the other entity is an instance of formal meeting and the other entity is located at the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3790-3808	If an entity is an instance of king-sized bed, then the statement there exist another entity, a third entity,, , a fourth entity and a fifth entity such that the other entity is not equal to the third entity and the third entity is not equal to the fourth entity and the other entity is not equal to the fourth entity and asleep is an attribute of the other entity and asleep is an attribute of the third entity and asleep is an attribute of the fourth entity and the other entity is an instance of human and the third entity is an instance of human and the fourth entity is an instance of human and the other entity is located at the entity and the third entity is located at the entity and the fourth entity is located at the entity holds during the fifth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27047-27069	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3821-3834	If an entity is an instance of queen-sized bed, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is not equal to the third entity and the other entity is an instance of human and the third entity is an instance of human and asleep is an attribute of the other entity and asleep is an attribute of the third entity and the other entity is located at the entity and the third entity is located at the entity holds during the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26197-26203	If an entity is an instance of recliner, then the statement there exists another entity such that the other entity is an instance of inclining and the entity is a patient of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Media.kif 741-763	If an entity is an instance of rewritable data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3675-3704	If a physical is an instance of seat belt, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of vehicle and the physical is a part of the third entity and the entity is an instance of human and the third entity contains the entity and the other entity is an instance of process and the other entity prevents the occurrence of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 713-736	If an entity is an instance of write once data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7189-7197	If an entity is an instance of sulphur dioxide, then the statement there exist another entity and a third entity such that the other entity is an instance of damaging and the third entity is an instance of human and the entity is an instrument for the other entity and the third entity is a patient of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	If an agent is logged-in to an user account during a time interval, then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17420-17422	If the statement a formula has the modal force of necessity, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17318-17320	If the statement a formula has the modal force of permission, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2007-2015	If parasitic a kind of organism and another kind of organism, then there exist an entity and another entity such that the statement the entity is an instance of a kind of organism and the other entity is an instance of another kind of organism and the other entity is a parasite of the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1954-1962	If a human may have a kind of pathologic process, then there exist a kind of pathologic processOC and the kind of pathologic processI such that the kind of pathologic processI is an instance of the kind of pathologic process and the kind of pathologic processOC believes the statement the human experiences the kind of pathologic process has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2519-2534	If acid rainfall is a patient of a process, then the statement there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of damaging and the process causes the entity and the process is an instrument for the entity and the other entity is an instance of organism and the third entity is an instance of stationary artifact and the fourth entity is an instance of outdoors and the third entity is located at the fourth entity and the other entity is located at the fourth entity and the other entity is a patient of the entity or the third entity is a patient of the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 819-822	If a cognitive agent is a potential customer for an agent, then the statement the agent is a customer of the cognitive agent has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3401-3408	If a transportation company provides transportation to a region, then the statement there exists an entity such that the entity is an instance of transportation service and the transportation company provides a service during the entity and the entity ends up at the region has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Music.kif 1499-1509	If a kind of object was released for sale in a geographic area at a time point, then the statement there exist an entity and another entity such that the entity is an instance of a kind of object and the other entity is an instance of buying and the other entity is located at the geographic area and the entity is a patient of the other entity has the modal force of possibility holds during immediately after the time point
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1506-1519	If motion picture is an amenity in a kind of hotel unit, then there exist an object, a physical and an entity such that the object is an instance of a kind of hotel unit and the physical is an instance of media system and the physical is located at the object and the entity is an instance of motion picture and the statement there exists the objectL such that the objectL is an instance of radiating light and the physical is an instrument for the objectL and the entity is a patient of the objectL has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 390-398	If a cognitive agent trusts an agent, then the cognitive agent believes the statement there exists an entity such that the entity is an instance of a kind of intentional process and the agent is an agent of the entity has the modal force of possibility

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