TransportationDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - TransportationDevice

TransportationDevice(transportation device)

Alpine_lift, B-52, Carling_float, Conestoga, Conestoga_wagon, Graf_Zeppelin, Mackinaw_boat, Mayflower, PT_boat, Salyut, Sharpie, Skylab, Sno-cat, T-bar, T-bar_lift, USS_Cole, abandoned_ship, aerial, aerial_tramway, aerially, aeromechanic, aeronautic, aeronautical, air_transportation_system, amphibian, amphibious_vehicle, angledozer, applecart, aquaplane, aqueduct, argosy, ark, autogiro, autogyro, automotive, auxiliary_research_submarine, bandwagon, barouche, barrow, bathyscape, bathyscaph, bathyscaphe, bathysphere, battle_cruiser, battleship, battlewagon, berlin, big_dipper, birch_bark, birchbark...

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 14801-14803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14800-14800	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 4249-4249	Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10815-10815	Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13132-13132	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 13170-13170	Oar is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13157-13157	Pump is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 886-886	Ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14809-14809	Vehicle is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1077-1077	Water ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24150-24150	Wheelchair is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1131-1131	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 1332-1332

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1025-1025	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 21485-21485	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 3235-3235	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 1551-1551	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 21507-21514	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 1576-1580	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 1557-1565	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 2588-2593	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 14805-14807	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 7030-7047	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 an object such that the object is a member of the collection and the agent is an agent of the object and there exists another object such that the agent is an instance of selling and the other object is an instance of transportation device or there exists a third object such that the other object is a part of the third object and the third object is an instance of transportation device or the other object is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5690-5706	If a collection is an instance of organization and transportation equipment manufacturing is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 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 object2 is a member of the collection and the agent2 is an instance of selling and the object2 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 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 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 10820-10825	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 19664-19672	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 19727-19740	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 19967-19972	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