Transportation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3064-3065
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11668-11669
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1832-1833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6928-6928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8118-8118
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8119-8119
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11666-11666	Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11665-11665	Transportation is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1696-1696	The values returned by transportation are subclasses of transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1713-1713	The values returned by trip are subclasses of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18603-18603	Air transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11684-11684	Driving is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18685-18685	Land transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6515-6515	MoveToEvac is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8406-8406	Smuggling is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18616-18616	Space transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18708-18708	Transport via a road vehicle is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18657-18657	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1129-1129	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1475-1475	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	french_format.kif 807-807	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 339-339	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 342-342	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2491-2491	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 759-759	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 344-344	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 378-378	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 637-637	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 828-828	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 343-343	Water transportation is a subclass of transportation

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24476-24476	The number 1 argument of conveyance is an instance of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23801-23801	The number 1 argument of transported is an instance of transportation

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3491-3499	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists another object such that the other object is an instance of water area and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24518-24524	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and an agent is an agent of the process, then the agent is transported during the transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24526-24532	If a process is an instance of driving and another process is a subprocess of the process and the other process is an instance of transportation and the process ends up at an entity, then the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24534-24541	If a process is an instance of driving and a transportation is a subprocess of the process and the transportation is an instance of transportation and a transportation device is an instance of vehicle and the transportation device is a patient of the process, then the transportation device is a conveyance during the transportation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of engine cylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the third object between on path the processF for the fourth object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of engine cylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3612-3626	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3580-3594	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3564-3578	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3596-3610	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of road vehicle or the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3546-3557	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3520-3531	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3507-3518	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3533-3544	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3816-3836	If a transportation is an instance of transportation and an object is an instance of transitway and the object is path along which the transportation occurs and a transportation device is a conveyance during the transportation and another object is an instance of transitway junction and the other object is a part of the object, then there exist a third object and another transportation such that the third object is an instance of transitway and the object is not equal to the third object and the other object connects the object and the third object and the other object is capable of doing transfer as a path and the other transportation is an instance of transfer and the transportation device is a conveyance during the other transportation and the time of existence of the transportation meets the time of existence of the other transportation and the statement the third object is path along which the other transportation occurs has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	If a process is an instance of transportation and an object is an instance of wheel and another object is an instance of automobile and the object is a part of the other object and the other object is an instrument for the process and the other objectB is an instance of antilock brake and another process is an instance of decelerating and the other objectB is an instrument for the other process and the other objectB is a part of the object, then the other objectB has the purpose there exists an entity such that the entity is an instance of rotating and the entity takes place during the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16307-16315	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of pump, then there exists another object such that the other object is an instrument for the process and fluid is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 789-795	If a process is an instance of transportation and an entity is a patient of the process and the entityS is an instrument for the process and the entityS is an instance of sewage system, then the entity is an instance of sewage
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4109-4120	If a transportation is an instance of transportation and an object is transported during the transportation and an attribute is an attribute of the object and the attribute is an instance of hazardous material transport attribute, then the statement there exists an entity such that the entity is an instance of damaging and the object is a resource for the entity has the modal force of possibility holds during the transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24479-24484	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of road vehicle, then the process is an instance of transport via a road vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24499-24506	If a process is an instance of transportation and the process is a subprocess of another process and the other process is an instance of driving and an object is an instrument for the process and the object is an instance of transportation device, then the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1992-2004	If an object is an instance of wagon and a process is an instance of transportation and the object is an instrument for the process, then there exists an agent such that the process is an instance of pulling and the agent is an agent of the process and the object is a patient of the process and the agent is an instance of domestic animal or the agent is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18328-18333	If a self connected object is onboard a vehicle and the vehicle is an instrument for a process and the process is an instance of transportation, then the self connected object is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1701-1709	If a kind of transportation device is a subclass of transportation device and the transportation of a kind of transportation device is a subclass of transportation and a process is an instance of the transportation of the kind of transportation device, then there exists an object such that the object is an instance of the kind of transportation device and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3941-3953	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of air transitway and a collection is an instance of collection and aircraft is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9087-9100	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Military.kif 108-122	If a collection is an instance of convoy and an agent is a member of the collection and another agent is a member of the collection and the agent is not equal to the other agent, then there exist a process, another process and an entity such that the process is an instance of transportation and the other process is an instance of transportation and the agent is an agent of the process and the other agent is an agent of the other process and the process ends up at the entity and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2586-2601	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of transportation and the other process ends up at the object and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process or the other processA is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	If a collection is an instance of organization and air transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, the cognitive agentLANE and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the cognitive agentLANE and the cognitive agentLANE is an instance of aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	If a collection is an instance of organization and couriers and messengers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8465-8488	If a collection is an instance of organization and pipeline transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity,, , a third entity and the cognitive agentIPE such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of substance and the collection possesses the other entity and the cognitive agentIPE is an instrument for the entity and the cognitive agentIPE is an instance of pipeline
No TPTP formula. May not be expressible in strict first order.	naics.kif 8707-8727	If a collection is an instance of organization and postal service is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of transportation and the cognitive agent possesses the entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8034-8059	If a collection is an instance of organization and rail transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of rail vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8528-8549	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	If a collection is an instance of organization and transit and ground passenger transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	If a collection is an instance of organization and truck transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of land vehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8080-8105	If a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1916	If an entity is an instance of cargo vehicle and another entity is an instance of human, then the statement there exists a third entity such that the third entity is an instance of transportation and the other entity is a patient of the third entity and the entity is an instrument for the third entity doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1888-1898	If an entity is an instance of passenger vehicle and another entity is an instance of human, then the statement there exists a third entity such that the third entity is an instance of transportation and the other entity is a patient of the third entity and the entity is an instrument for the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3239-3263	If an object is an instance of transitway and bidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for permission
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3272-3296	If an object is an instance of transitway and unidirectional traffic is an attribute of the object, then there exists an entity such that the entity is an instance of policy and the entity confers norm there exist another entity, a third entity and a fourth entity such that the other entity is an instance of transportation and the object is path along which the other entity occurs and the third entity is an instance of geographic area and the other entity originates at the third entity and the fourth entity is an instance of geographic area and the other entity ends up at the fourth entity and there exists a fifth entity such that the fifth entity is an instance of transportation and the object is path along which the fifth entity occurs and the other entity originates at the fourth entity and the other entity ends up at the third entity and the other entity is not equal to the fifth entity holds during the time of existence of the other entity for prohibition
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 144-169	If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number, then the vehicle 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 3138-3143	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of transportation device and an object is an instance of the kind of self connected object, then transportation capable at location instrument for the object with the region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2046-2061	If a physical is an instance of ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exist a third entity and a fourth entity such that the third entity is an instance of injuring and the fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26449-26457	If a physical is an instance of air pump, 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 air and the physical is an instrument for 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 4829-4839	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.	Military.kif 177-185	If a physical is an instance of bomber, 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 other entity is a patient of the entity and the other entity is an instance of explosive device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2112-2123	If a physical is an instance of bus, 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 collection and the other entity is an instance of transportation and the third entity is a member count of the entity and the third entity is greater than 11 and if the fourth entity is a member of the entity, then the fourth entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7879-7885	If an agent is an instance of transportation company, then there exists a process 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 transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2302-2312	If an object is an instance of passenger railcar, then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: