TransportationDevice - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3622-3624
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16127-16129
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16126-16126	Transportation device is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4174-4174	Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11730-11730	Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16813-16813	Elevator is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Military.kif 128-128	Military platform is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16852	Oar is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16839-16839	Pump is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1049-1049	Ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16135-16135	Vehicle is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1239-1239	Water ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27781-27781	Wheelchair is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1293-1293	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1058-1058	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1327-1327	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	french_format.kif 736-736	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 267-267	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 270-270	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2420-2420	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 688-688	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 306-306	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 565-565	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 757-757	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 271-271	Wind surfing board is a subclass of transportation device

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1036-1036	The number 1 argument of cargo type is an instance of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25194-25194	The number 2 argument of conveyance is an instance of transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4398-4398	The number 1 argument of passenger capacity max number is an instance of transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1695-1695	The number 1 argument of transportation is a subclass of transportation device

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25216-25223	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 1720-1724	If a vehicle is an instance of transportation device and a process is an instance of the trip of the vehicle, then the vehicle is an instrument for 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 3141-3146	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.	Merge.kif 16131-16133	If an object is an instance of transportation device, then the object is capable of doing transportation as a instrument

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 7023-7040	If a collection is an instance of organization and motor vehicle and parts dealers 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 an object such that the agent is an instance of selling and the object is an instance of transportation device or there exists another object such that the object is a part of the other object and the other object is an instance of transportation device or the object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5683-5699	If a collection is an instance of organization and transportation equipment manufacturing 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 an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of transportation device and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 51-63	If a physical is an instance of disabled parking and an agent is an instance of human and an attribute is an attribute of the agent and the attribute is an instance of disability, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device for the agent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 36-44	If a physical is an instance of parking area, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3668-3678	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity and another entity such that the other entity is a patient of the entity and the other entity is an instance of transportation device and the entity is an instance of arriving or the entity is an instance of leaving and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11735-11740	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23498-23506	If a process is an instance of car bombing, then there exist an object and another object such that the object is an instance of bomb and the other object is an instance of transportation device and the other object is an instrument for the process and the object is an instrument for the process and the other object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23564-23577	If a process is an instance of hijacking, then there exist an entity and an agent such that the agent is an agent of the process and the entity is an instance of transportation device and the agent doesn't possess the entity holds during immediately before the time of existence of the process and the agent possesses the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23800-23805	If a process is an instance of vehicle attack, then there exists an object such that the object is an instance of transportation device and the object is an instrument for the process

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: