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 16142-16144
No TPTP formula. May not be expressible in strict first order. Merge.kif 16141-16141 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 4155-4155 Furniture is disjoint from transportation device
No TPTP formula. May not be expressible in strict first order. Merge.kif 11745-11745 Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16795-16795 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 16834-16834 Oar is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16821-16821 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 16150-16150 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 28022-28022 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 25175-25175 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 4400-4400 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 25197-25204
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1720-1724
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1701-1709
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3141-3146
No TPTP formula. May not be expressible in strict first order. Merge.kif 16146-16148

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 51-63
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 36-44
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3670-3680
No TPTP formula. May not be expressible in strict first order. Merge.kif 11750-11755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23481-23489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23547-23560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23783-23788


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