No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9017-9023	If an object is an instance of military front holds during a time position, then there exists a process such that the process is an instance of battle and the process is located at the object and the time position is a part of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8138-8143	If an object is an instance of cultivated land area, then there exists a process such that the process is an instance of agriculture and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7324-7330	If a physical is an instance of auditorium, then the physical has the purpose there exists an entity such that the entity is an instance of demonstrating and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1354-1362	If a process is an instance of backfire, then there exist an object and another object such that the other object is not an instance of engine cylinder and the object is an instance of engine and the other object is a part of the object and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7053-7061	If a physical is an instance of warehouse, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of keeping and the other entity is a patient of the entity and the other entity is an instance of product and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1171-1177	If a physical is an instance of bowling facility, then the physical has the purpose there exists an entity such that the entity is an instance of bowling and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16991-16997	If a physical is an instance of game board, then the physical has the purpose there exists an entity such that the entity is an instance of game and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 592-598	If a physical is an instance of boxing ring, then the physical has the purpose there exists an entity such that the entity is an instance of boxing and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1382-1387	If a process is an instance of breaking wave, then there exists an object such that the object is an instance of surf zone and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22393-22399	If a physical is an instance of entertainment building, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22504-22512	If a physical is an instance of cinema, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of performance and the entity is an instance of motion picture and the entity is a patient of the other entity and the other entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	If a physical is an instance of cruise ship, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of recreation or exercise and the third entity possesses the physical and the other entity is an agent of the entity and the other entity is a customer of the third entity and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7280-7290	If an agent is an instance of restaurant, then there exist a process, an entity and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the object is an instance of restaurant building and the process is located at the object and the entity is a patient of the process and the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6302-6312	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1612-1617	If a process is an instance of coastal flooding, then there exists an object such that the object is an instance of seacoast and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16630-16637	If a proposition is an instance of educational course, then there exist a process and an object such that the process expresses the content of the proposition and the process is an instance of educational process and the process is located at the object and the object is an instance of educational organization
No TPTP formula. May not be expressible in strict first order.	Sports.kif 880-886	If a physical is an instance of tennis court, then the physical has the purpose there exists an entity such that the entity is an instance of tennis and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15570-15576	If a physical is an instance of dining area, then the physical has the purpose there exists an entity such that the entity is an instance of eating and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 980-993	If a physical is an instance of driving range, then the physical has the purpose there exists the physicalRIVE such that the physicalRIVE is an instance of golf drive and the physicalRIVE is located at the physical and there doesn't exist another entity such that the other entity is located at the physical and the other entity is an instance of golf maneuver and the other entity is not an instance of golf drive
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26849-26858	If a physical is an instance of dance hall, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of making music and the entity is an instance of dancing and the other entity occurs at the same time as the entity and the other entity is located at the physical and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1257-1269	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2525-2538	If a physical is an instance of engine control module, 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 automobile and the other entity is an instance of engine and the third entity is an instance of process and the fourth entity is an instance of process and the other entity is a part of the entity and the physical is a part of the entity and the third entity is located at the physical and the fourth entity is located at the other entity and the third entity causes the fourth entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2436-2441	If a process is an instance of volcanic eruption, then there exists an object such that the object is an instance of volcano and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 676-682	If a physical is an instance of baseball field, then the physical has the purpose there exists an entity such that the entity is an instance of baseball and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15357-15363	If a physical is an instance of fireplace, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the entity is located at the physical
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