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
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1576-1580
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1557-1565
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2588-2593
No TPTP formula. May not be expressible in strict first order. Merge.kif 14805-14807

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 7030-7047
No TPTP formula. May not be expressible in strict first order. naics.kif 5690-5706
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 49-59
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 36-42
No TPTP formula. May not be expressible in strict first order. Merge.kif 10820-10825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19664-19672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19727-19740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19967-19972


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