TreeView 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 11643-11644
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 6929-6929
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.	pictureList.kif 8120-8120
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11641-11641	Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11640-11640	Transportation is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1567-1567	The values returned by transportation are subclasses of transportation
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1584-1584	The values returned by trip are subclasses of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17712-17712	Air transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11659-11659	Driving is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17794-17794	Land transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6531-6531	MoveToEvac is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7733-7733	Smuggling is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17725-17725	Space transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17817-17817	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 17766-17766	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1475-1475
No TPTP formula. May not be expressible in strict first order.	french_format.kif 807-807
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 339-339
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 342-342
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2491-2491
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 759-759
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 344-344
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 378-378
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 828-828
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 343-343

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23585-23585	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 22910-22910	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 23627-23633	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 23635-23641	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 23643-23650	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.	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 15478-15486	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.	Mid-level-ontology.kif 23588-23593	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 23608-23615	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 1852-1864	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 17437-17442	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 1572-1580	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.	Merge.kif 11646-11651	If a process is an instance of transportation, then there exists an object such that the object is an instance of transportation device and the object is an instrument for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8414-8427	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 2554-2569	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 1766-1776	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 1748-1758	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.	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 2643-2648	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 1906-1921	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 25558-25566	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 4753-4763	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 1972-1983	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 7206-7212	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 2133-2143	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3283	If an agent is an instance of railroad company, then there exist a process 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 transportation and the object is an instrument for the process and the object is an instance of train
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16042-16044	If an object is an instance of transportation device, then the object is capable of doing transportation as a instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Show without tree

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: