No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4054-4061	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 2316-2323	If an object is an instance of fruit or vegetable and another object is a part of the object and the other object is an instance of flesh or pulp and a third object is a part of the object and the third object is an instance of peel or rind, then the other object is inside to the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	If a land area is an instance of land area and a kind of substance is a ground surface type of the land area and another kind of substance is a ground subsurface type of the land area, then there exist an object and another object such that the object is an instance of a kind of substance and the other object is an instance of another kind of substance and the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16921-16929	If an object is a positional attribute to another object and @ROW is the opposite of and the positional attribute is a member of (@ROW) and another positional attribute is a member of (@ROW) and the positional attribute is not equal to the other positional attribute, then the object is not the other positional attribute to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18136-18141	If an object is a positional attribute to another object and the positional attribute is an instance of positional attribute and another positional attribute is an opposite direction of the positional attribute, then the other object is the other positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16931-16935	If an object is right to another object and a third object is left to the other object, then the object is right to the third object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9745-9751	If a side of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then there exists a positional attribute such that the other self connected object is the positional attribute to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9730-9735	If the top of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is below to the other self connected object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	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, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the 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 time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15237-15248	If adjoining room is an attribute of an object, then there exist another object, a third object and a fourth object such that adjoining room is an attribute of the other object and the other object is not equal to the object and the object is adjacent to the other object and the third object is an instance of wall and the third object is a part of the other object and the third object is a part of the object and the fourth object is an instance of door and the fourth object is a part of the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	If down and in room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of indoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	If down and out room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of outdoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1157-1165	If loft style is an attribute of a self connected object, then there exist another self connected object, an object and a third self connected object such that the bottom of the self connected object is the other self connected object and the top of the self connected object is the third self connected object and the object is an instance of stationary artifact and the object is above to the other self connected object and the object is below to the third self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7736-7738	If the depth from an object to another object is a length measure, then the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1914-1920	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5446-5448	If an object is a flows of another object, then the other object is upstream to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30316-30323	If cloudy is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of cloud and the other entity is above to the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 712-714	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area is adjacent to the other geographic area
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4768-4778	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15385-15392	If an object is an instance of balcony, then there exist another object and a third object such that the other object meets the object and the third object is an instance of land area and the other object is located at the third object and the object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15411-15420	If an object is an instance of basement, then there don't exist another object and a third object such that the other object is an instance of building level and the third object is an instance of building and the other object is a part of the third object and the object is a part of the third object and the other object is not equal to the object and the other object is below to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25202-25213	If a physical is an instance of ironing board, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of ironing and the third entity is a patient of the entity and the other entity is a part of the third entity and the other entity is an instance of fabric and the third entity is on to the physical holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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