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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Transportation
Transportation(transportation)
Berlin_airlift, advect, airlift, aquaplane, astrogate, automobile, awheel, backpedal, balloon, bareboating, barge, beach, bear_down_on, bear_down_upon, beat, beetle, boating, bob, bobsled, bobsledding, bring_down, bronco_buster, broncobuster, bus, buster, cabotage, call_at, canoe, canter, caravan, carry, carry_over, cart, cart_away, cart_off, cartage, carting, chandelle, chariot, chauffeur, chute, circumnavigate, commutation, commuting, compass, conveyance, crash-dive, crossing, cruise, cut_in...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3064-3065
No TPTP formula. May not be expressible in strict first order. Merge.kif 10852-10853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6930-6930
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8121-8121
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8122-8122
No TPTP formula. May not be expressible in strict first order. Merge.kif 10850-10850 Transportation is internally related to transportation device
No TPTP formula. May not be expressible in strict first order. Merge.kif 10849-10849 Transportation is a subclass of translocation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1567-1567 The values returned by transportation are subclasses of transportation
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1584-1584 The values returned by trip are subclasses of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14265-14265 Air transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Merge.kif 10868-10868 Driving is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14347-14347 Land transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6707-6707 Shipping is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6720-6720 Smuggling is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14278-14278 Space transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14370-14370 Transport via a road vehicle is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14319-14319 Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order. english_format.kif 1480-1480

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19970-19970 The number 1 argument of conveyance is an instance of transportation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19295-19295 The number 1 argument of transported is an instance of transportation

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3431-3439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20012-20018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20020-20026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20028-20035
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Cars.kif 1306-1321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12183-12191
No TPTP formula. May not be expressible in strict first order. Transportation.kif 789-795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19973-19978
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19993-20000
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1860-1872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14015-14020
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. Merge.kif 10855-10860

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7276-7289
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2534-2549
No TPTP formula. May not be expressible in strict first order. naics.kif 7960-7985
No TPTP formula. May not be expressible in strict first order. naics.kif 8743-8763
No TPTP formula. May not be expressible in strict first order. naics.kif 8472-8495
No TPTP formula. May not be expressible in strict first order. naics.kif 8714-8734
No TPTP formula. May not be expressible in strict first order. naics.kif 8041-8066
No TPTP formula. May not be expressible in strict first order. naics.kif 8535-8556
No TPTP formula. May not be expressible in strict first order. naics.kif 8351-8371
No TPTP formula. May not be expressible in strict first order. naics.kif 8260-8282
No TPTP formula. May not be expressible in strict first order. naics.kif 8087-8112
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1774-1784
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1756-1766
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2617-2622
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1914-1929
No TPTP formula. May not be expressible in strict first order. Cars.kif 1218-1226
No TPTP formula. May not be expressible in strict first order. Cars.kif 4791-4801
No TPTP formula. May not be expressible in strict first order. Military.kif 177-185
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1980-1991
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6188-6194
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2135-2144
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3230-3238
No TPTP formula. May not be expressible in strict first order. Merge.kif 14851-14853

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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