No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15427-15440	If a physical is an instance of elevator, 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 transportation and the entity originates at the other entity and the other entity is an instance of building level and the entity ends up at the third entity and the third entity is an instance of building level and the other entity is not equal to the third entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the fourth entity is an instance of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30068-30077	If a physical is an instance of cargo ship, then there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of object and the physical has the purpose the physical is an agent of the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1041-1049	If a physical is an instance of fuel pump, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of transportation and the entity is an instance of fuel and the entity is a patient of the other entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17663-17671	If a physical is an instance of submarine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of under water and the entity is located at the other entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1066-1073	If a process is an instance of skiing, then there exist the processS and another process such that the other process is an instance of transportation and the other process is a subprocess of the process and the processS is an instrument for the other process and the processS is an instance of ski
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1049-1058	If a physical is an instance of ski, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of snowing and the third entity is a result of the other entity and the entity is an instance of transportation and the physical is an instrument for the entity and the entity is located at the third entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1230-1238	If a physical is an instance of water ski, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water area and the entity is an instance of transportation and the physical is an instrument for the entity and the entity is located at the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2071-2080	If a process is an instance of airport shuttle, then there exist an object and another process such that the object is an instance of airport and the other process is a subprocess of the process and the other process is an instance of transportation and the other process ends up at the object or the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of postal place and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3340-3352	If a process is an instance of transportation service, then there exist an object, an agent,, , another process and a cognitive agent such that the agent is an agent of the process and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of vehicle and the other process is an instance of transportation and the agent is an agent of the other process and the cognitive agent is a patient of the other process and the object is an instrument for the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	If an object is an instance of military food truck, then the object is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2236-2246	If an object is an instance of tank car, then there exists the objectRANS such that the object is capable of doing the class described by the objectRANS as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3472-3481	If a physical is an instance of land vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is a surface of geographic area and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2036-2045	If a physical is an instance of rail vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of railway and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22222-22230	If a physical is an instance of road, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the entity is located at the physical and the other entity is an instance of land vehicle and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 335-343	If a physical is an instance of subway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of human and the other entity is a patient of the entity and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	If a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	If a physical is an instance of water vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of water and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26138-26147	If a physical is an instance of wheelchair, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the other entity is not capable of doing walking as a agent and the entity is an instance of transportation and the other entity is an agent of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 92-104	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle, then there don't exist a process, a self connected object,, , another real number and the other real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the other real number the other real numberU(s) is a weight of the self connected object and the other real numberU is equal to the unit of measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 121-138	If a vehicle is maximum payload height width a real number an unit of measure(s) for another real number another unit of measure(s), then there don't exist a process, a self connected object,, , a third real number,, , the third real numberU,, , a fourth real number and the fourth real numberU such that the process is an instance of transportation and the vehicle is an instrument for the process and the self connected object is a patient of the process and the width of the self connected object is the third real number the third real numberU(s) and the height of the self connected object is the fourth real number the fourth real numberU(s) and the third real numberU is equal to the other unit of measure and the fourth real numberU is equal to the unit of measure and the third real number is greater than the other real number and the fourth real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30768-30770	If an object is a passenger in a transfer, then the transfer is an instance of transportation

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