Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransportationDevice

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 15966-15968
No TPTP formula. May not be expressible in strict first order. Merge.kif 15965-15965 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 11595-11595 Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15422-15422 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 15461-15461 Oar is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15448-15448 Pump is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Sports.kif 1035-1035 Ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Merge.kif 15974-15974 Vehicle is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Sports.kif 1225-1225 Water ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26124-26124 Wheelchair is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Sports.kif 1279-1279 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 23534-23534 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 23556-23563
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1591-1595
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1572-1580
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2610-2615
No TPTP formula. May not be expressible in strict first order. Merge.kif 15970-15972

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7023-7040
No TPTP formula. May not be expressible in strict first order. naics.kif 5683-5699
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 11600-11605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21839-21847
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21904-21917
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22140-22145


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