No TPTP formula. May not be expressible in strict first order.	Sports.kif 163-175	If an entity is an instance of soccer, then there exist a collection, another collection,, , an agent and another agent such that the collection is an instance of group of people and 11 is a member count of the collection and the other collection is an instance of group of people and 11 is a member count of the other collection and the collection is not equal to the other collection and the agent is a member of the collection and the agent is a member of the other collection and the agent and the other agent are enemies of each other
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26508-26520	If an object is an instance of high rise, then there exist a collection and an integer such that the collection is an instance of collection and for all another object if the other object is an instance of building level and the other object is a part of the object, then the other object is a member of the collection and the integer is a member count of the collection and the integer is greater than or equal to 10
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is not equal to the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22671-22677	If a collection is member type count a class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the class is a member type of the other collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 705-715	If a building has an integer floors, then there exists a collection such that for all an object if the object is an instance of building level and the object is a part of the building, then the object is a member of the collection and the integer is a member count of the collection

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