No TPTP formula. May not be expressible in strict first order.	Cars.kif 2263-2271	If an object is an instance of differential, then there exist another object and a third object such that the other object is an instance of gear and the third object is an instance of gear and the other object is a part of the object and the third object is a part of the object and the other object is right angle to the third object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	If an object is an instance of dock, then there exist another object, a computer process and a computer program such that the computer program is an instance of computer program and the computer program is a program running of the computer process and the other object is an instance of icon and the other object expresses the computer process and the other object is inside to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8180-8185	If an object is an instance of residential garden, then there exists another object such that the other object is an instance of residential building and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8187-8193	If an entity is an instance of residential garden, then the statement there exists another entity such that the other entity is an instance of fence and the entity is surrounded to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9144-9149	If an object is an instance of indoors, then there exists another object such that the other object is an instance of building and the object is inside to the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4702-4713	If a physical is an instance of vehicle interior, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of automobile and the other entity is an instance of engine and the other entity is a part of the entity and the physical is not a part of the other entity and the physical is a part of the entity and the physical is inside to the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6072-6079	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25847-25856	If a physical is an instance of prayer mat, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of praying and the other entity is an agent of the entity and the other entity is an instance of human and the other 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.	Cars.kif 4358-4365	If a physical is an instance of outboard motor, then the physical has the purpose there exists an entity such that the entity is an instance of water vehicle and the physical meets the entity and the physical is outside to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9132-9138	If an object is an instance of outdoors, then there doesn't exist another object such that the other object is an instance of building and the object is inside to the other object
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 66-71	If an object is an instance of street parking, then there exists another object such that the other object is an instance of street and the object is on to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 841-850	If an object is an instance of port city, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 873-882	If an object is an instance of sea port, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17677-17682	If an object is an instance of under water, then there exists another object such that the other object is an instance of water area and the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9506-9518	If a physical is an instance of plant root, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5942-5947	If an object is an instance of reef, then there exists another object such that the other object is an instance of water area and the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26890-26899	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2037-2046	If an object is an instance of shower, then there exist another object and a third object such that the other object is an instance of wall or the other object is an instance of ceiling and the object is connected to the other object and the third object is an instance of floor and the object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15661-15666	If an object is an instance of sidewalk, then there exists another object such that the other object is an instance of roadway and the object is near to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26515-26524	If a process is an instance of soaking, then there exist an object and an entity such that the entity is an instance of object and the entity is a patient of the process and the object is an instance of freshwater and the object is a resource for the process and the entity is surrounded to the object holds during the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1375-1380	If an object is an instance of surf zone, then there exists another object such that the other object is an instance of shoreline and the object is adjacent to the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4677-4688	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is a patient of the entity and the other entity is an instance of automobile and the physical is outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4626-4640	If a physical is an instance of weaving, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and pliable is an attribute of the entity and the entity is a patient of the physical and the other entity is a part of the entity and the third entity is a part of the entity and the other entity is not equal to the third entity and the other entity is right angle to the third entity and the fourth entity is a result of the physical and the fourth entity is an instance of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3878-3886	If an object is an instance of bunk bed, then there exist another object and a third object such that the other object is an instance of twin-sized bed and the third object is an instance of twin-sized bed and the other object is a part of the object and the third object is a part of the object and the other object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 742-750	If an object is an instance of checkpoint, then there exists another object such that the other object is an instance of road and the other object is near to the object or there exist a geographic area and another geographic area such that the border of the geographic area and the other geographic area is near to the object
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