TreeView Knowledge Base Browser - TransportationDevice

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 15988-15990
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15987-15987	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 3712-3712	Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11617-11617	Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15421-15421	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 15460-15460	Oar is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15447-15447	Pump is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1036-1036	Ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15996-15996	Vehicle is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1226-1226	Water ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26112-26112	Wheelchair is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1280-1280	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
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1327-1327
No TPTP formula. May not be expressible in strict first order.	french_format.kif 736-736
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 267-267
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2420-2420
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 688-688
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 306-306
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 757-757
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 271-271

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 23533-23533	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 3257-3257	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 1566-1566	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 23555-23562	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 1591-1595	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 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.	Transportation.kif 2610-2615	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 15992-15994	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 49-59	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 the physical plays role in event destination for an entity and another 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-42	If a physical is an instance of parking area, then the physical has the purpose the physical plays role in event destination for an entity and another 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.	Merge.kif 11622-11627	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 21838-21846	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 21903-21916	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 22139-22144	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 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: