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...

VerbNet: vehicle-51.4.1|balloon, drive-11.5|barge, pocket-9.10|beach, vehicle-51.4.1|bobsled, vehicle-51.4.1|bobsled, pocket-9.10|land, drive-11.5|bus, vehicle-51.4.1|canoe, run-51.3.2|canter, carry-11.4|carry, drive-11.5|cart, vehicle-51.4.1|chariot, captain-29.8|chauffeur, vehicle-51.4.1|parachute, captain-29.8|chauffeur, run-51.3.2|gallop, drive-11.5|ferry, roll-51.3.1|float, run-51.3.2|gallop, run-51.3.2|travel, sight-30.2|inspect, run-51.3.2|travel, vehicle-51.4.1|parachute, weekend-56|junket, weekend-56|junket, vehicle-51.4.1|kayak, run-51.3.2|travel, vehicle-51.4.1|toboggan, run-51.3.2|travel, nonvehicle-51.4.2|sail, nonvehicle-51.4.2|paddle, vehicle-51.4.1|parachute, send-11.1|port, hold-15.1|push, pocket-9.10|land, vehicle-51.4.1|raft, run-51.3.2|repair, run-51.3.2|repair, nonvehicle-51.4.2|ride, nonvehicle-51.4.2|sail, send-11.1|shunt, vehicle-51.4.1|skateboard, vehicle-51.4.1|ski, vehicle-51.4.1|sledge, vehicle-51.4.1|toboggan, drive-11.5|tool, send-11.1|transport, send-11.1|transship, run-51.3.2|trek, drive-11.5|truck, ...


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


s__documentation(s__Transportation,s__ChineseLanguage,'"这是通过一种 TransportationDevice 从一处到 另一处的 Motion。"')

chinese_format.kif 3064-3065
s__documentation(s__Transportation,s__EnglishLanguage,'"Motion from one point to another by means of a TransportationDevice."')

Merge.kif 10787-10788
s__externalImage(s__Transportation,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Taipei_MRT_Shimen_station.jpg"')

pictureList.kif 6930-6930
s__externalImage(s__Transportation,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 84/ Cessna177BCardinal05.jpg"')

pictureList.kif 8121-8121
s__externalImage(s__Transportation,'"http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Acela_2000.jpg"')

pictureList.kif 8122-8122
s__relatedInternalConcept(s__Transportation,s__TransportationDevice)

Merge.kif 10785-10785 Transportation is internally related to transportation device
s__subclass(s__Transportation,s__Translocation)

s__instance(s__Transportation,s__SetOrClass)

s__instance(s__Translocation,s__SetOrClass)

Merge.kif 10784-10784 Transportation is a subclass of translocation

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


s__rangeSubclass(s__TransportationFn__m,s__Transportation)

Transportation.kif 1552-1552 The values returned by transportation are subclasses of transportation
s__rangeSubclass(s__TripFn__m,s__Transportation)

Transportation.kif 1569-1569 The values returned by trip are subclasses of transportation
s__instance(s__Transportation,s__SetOrClass)

s__instance(s__AirTransportation,s__SetOrClass)

s__subclass(s__AirTransportation,s__Transportation)

Mid-level-ontology.kif 15277-15277 Air transportation is a subclass of transportation
s__subclass(s__Driving,s__Transportation)

s__instance(s__Transportation,s__SetOrClass)

s__instance(s__Driving,s__SetOrClass)

Merge.kif 10803-10803 Driving is a subclass of transportation
s__instance(s__LandTransportation,s__SetOrClass)

s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__LandTransportation,s__Transportation)

Mid-level-ontology.kif 15359-15359 Land transportation is a subclass of transportation
s__instance(s__Shipping,s__SetOrClass)

s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__Shipping,s__Transportation)

Mid-level-ontology.kif 7388-7388 Shipping is a subclass of transportation
s__subclass(s__Smuggling,s__Transportation)

s__instance(s__Smuggling,s__SetOrClass)

s__instance(s__Transportation,s__SetOrClass)

Mid-level-ontology.kif 7401-7401 Smuggling is a subclass of transportation
s__instance(s__Transportation,s__SetOrClass)

s__instance(s__SpaceTransportation,s__SetOrClass)

s__subclass(s__SpaceTransportation,s__Transportation)

Mid-level-ontology.kif 15290-15290 Space transportation is a subclass of transportation
s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__TransportViaRoadVehicle,s__Transportation)

s__instance(s__TransportViaRoadVehicle,s__SetOrClass)

Mid-level-ontology.kif 15382-15382 Transport via a road vehicle is a subclass of transportation
s__instance(s__WaterTransportation,s__SetOrClass)

s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__WaterTransportation,s__Transportation)

Mid-level-ontology.kif 15331-15331 Water transportation is a subclass of transportation
s__termFormat(s__ChineseLanguage,s__Transportation,'"运输"')

chinese_format.kif 1129-1129
s__termFormat(s__EnglishLanguage,s__Transportation,'"transportation"')

english_format.kif 1480-1480

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


s__domain(s__conveyance__m,n__1,s__Transportation)

Mid-level-ontology.kif 21459-21459 The number 1 argument of conveyance is an instance of transportation
s__domain(s__transported__m,n__1,s__Transportation)

Mid-level-ontology.kif 20749-20749 The number 1 argument of transported is an instance of transportation

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


( ! [V__CRAFT,V__EVENT] :
   ((s__instance(V__CRAFT,s__WaterVehicle) &
       s__instance(V__EVENT,s__Transportation) &
       s__instrument(V__EVENT,V__CRAFT))
   =>
   ( ? [V__WATER] :
     ((s__instance(V__WATER,s__WaterArea) &
         s__eventLocated(V__EVENT,V__WATER))))
)
)

Mid-level-ontology.kif 4030-4038
( ! [V__DRIVING,V__TRANSPORT,V__DRIVER] :
   (s__instance(V__DRIVER,s__Agent) =>
     (s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__agent(V__DRIVING,V__DRIVER))
=>
s__transported(V__TRANSPORT,V__DRIVER)
)
)

Mid-level-ontology.kif 21501-21507
( ! [V__DRIVING,V__DEST,V__TRANSPORT] :
   ((s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__destination(V__DRIVING,V__DEST))
=>
s__destination(V__TRANSPORT,V__DEST)
)
)

Mid-level-ontology.kif 21509-21515
( ! [V__DRIVING,V__VEHICLE,V__TRANSPORT] :
   ((s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__instance(V__VEHICLE,s__Vehicle) &
     s__patient(V__DRIVING,V__VEHICLE))
=>
s__conveyance(V__TRANSPORT,V__VEHICLE)
)
)

Mid-level-ontology.kif 21517-21524
No TPTP formula. May not be expressible in strict first order. Cars.kif 1061-1081
No TPTP formula. May not be expressible in strict first order. Cars.kif 1042-1059
No TPTP formula. May not be expressible in strict first order. Cars.kif 1293-1308
( ! [V__T,V__D] :
   ((s__instance(V__T,s__Transportation) &
       s__instrument(V__T,V__D)
     &
     s__instance(V__D,s__Pump))
   =>
   ( ? [V__F] :
     ((s__instance(V__F,s__Object) &
         (s__instrument(V__T,V__F)
         &
         s__attribute(V__F,s__Fluid)))))
)
)

Mid-level-ontology.kif 13135-13143
( ! [V__S,V__T,V__SS] :
   ((s__instance(V__T,s__Transportation) &
       s__patient(V__T,V__S)
     &
     s__instrument(V__T,V__SS)
   &
   s__instance(V__SS,s__SewageSystem))
=>
s__instance(V__S,s__Sewage) )
)

Transportation.kif 778-784
( ! [V__VEHICLE,V__TRANSPORT] :
   ((s__instance(V__TRANSPORT,s__Transportation) &
       s__instrument(V__TRANSPORT,V__VEHICLE)
     &
     s__instance(V__VEHICLE,s__RoadVehicle))
   =>
   s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) )
)

Mid-level-ontology.kif 21462-21467
( ! [V__VEHICLE,V__TRANSPORT,V__DRIVE] :
   ((s__instance(V__TRANSPORT,s__Transportation) &
       s__subProcess(V__TRANSPORT,V__DRIVE)
     &
     s__instance(V__DRIVE,s__Driving) &
     s__instrument(V__TRANSPORT,V__VEHICLE)
   &
   s__instance(V__VEHICLE,s__TransportationDevice))
=>
s__patient(V__DRIVE,V__VEHICLE)
)
)

Mid-level-ontology.kif 21482-21489
( ! [V__T,V__W] :
   ((s__instance(V__W,s__Wagon) &
       s__instance(V__T,s__Transportation) &
       s__instrument(V__T,V__W))
   =>
   ( ? [V__P] :
     ((s__instance(V__T,s__Pulling) &
         s__agent(V__T,V__P)
       &
       s__patient(V__T,V__W)
     &
     (s__instance(V__P,s__DomesticAnimal) |
       s__instance(V__P,s__Vehicle)))))
)
)

Transportation.kif 1842-1854
( ! [V__O,V__T,V__V] :
   ((s__instance(V__O,s__SelfConnectedObject) &
       s__instance(V__V,s__Vehicle))
     =>
     (s__onboard(V__O,V__V)
     &
     s__instrument(V__T,V__V)
   &
   s__instance(V__T,s__Transportation))
=>
s__patient(V__T,V__O)
)
)

Mid-level-ontology.kif 14970-14975
( ! [V__TYPE,V__TRIP] :
   ((s__instance(V__TYPE,s__SetOrClass) &
       s__subclass(V__TYPE,s__TransportationDevice) &
       s__instance(V__TRIP,s__Process))
     =>
     (s__subclass(V__TYPE,s__TransportationDevice) &
       s__subclass(s__TransportationFn(V__TYPE)
    ,s__Transportation) &
     s__instance(V__TRIP,s__TransportationFn(V__TYPE)))
=>
( ? [V__VEHICLE] :
((s__instance(V__VEHICLE,s__Object) &
     (s__instance(V__VEHICLE,V__TYPE)
     &
     s__instrument(V__TRIP,V__VEHICLE)))))
)
)

Transportation.kif 1557-1565
( ! [V__TRANS] :
   (s__instance(V__TRANS,s__Transportation) =>
     ( ? [V__DEVICE] :
       ((s__instance(V__DEVICE,s__TransportationDevice) &
           s__instrument(V__TRANS,V__DEVICE))))
   )
)

Merge.kif 10790-10795

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


( ! [V__B,V__C] :
   ((s__instance(V__C,s__CavalryUnit) &
       s__instance(V__B,s__Battle) &
       s__agent(V__B,V__C))
   =>
   ( ? [V__P, V__V, V__T] :
     ((s__instance(V__P,s__Agent) &
         (s__attribute(V__P,s__Soldier) &
           s__member(V__P,V__C)
         &
         s__instance(V__T,s__Transportation) &
         s__agent(V__T,V__P)
       &
       s__instance(V__V,s__Vehicle) &
       s__patient(V__T,V__V)
     &
     s__during(V__T,V__B)))))
)
)

Mid-level-ontology.kif 8113-8126
( ! [V__C,V__X1,V__X2] :
   ((s__instance(V__X1,s__Agent) &
       s__instance(V__X2,s__Agent))
     =>
     (s__instance(V__C,s__Convoy) &
       s__member(V__X1,V__C)
     &
     s__member(V__X2,V__C)
   &
   ~((V__X1 = V__X2)))
=>
( ? [V__P1, V__P2, V__D] :
   ((s__instance(V__P1,s__Transportation) &
       s__instance(V__P2,s__Transportation) &
       s__agent(V__P1,V__X1)
     &
     s__agent(V__P2,V__X2)
   &
   s__destination(V__P1,V__D)
&
s__destination(V__P2,V__D))))
)
)

Military.kif 108-122
( ! [V__O,V__EV,V__A] :
   ((s__instance(V__O,s__Object) &
       s__instance(V__A,s__Organization))
     =>
     (s__instance(V__EV,s__Evacuation) &
       s__origin(V__EV,V__O)
     &
     s__agent(V__EV,V__A))
=>
( ? [V__T, V__TA] :
   ((s__instance(V__TA,s__Organization) &
       (s__instance(V__T,s__Transportation) &
         s__destination(V__T,V__O)
       &
       (s__subOrganization(V__TA,V__A)
       |
       s__member(V__TA,V__A)
     |
     (V__TA = V__A))
   &
   (s__agent(V__T,V__TA)
   |
   s__patient(V__T,V__TA))))))
)
)

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 8659-8679
No TPTP formula. May not be expressible in strict first order. naics.kif 8388-8411
No TPTP formula. May not be expressible in strict first order. naics.kif 8630-8650
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 8451-8472
No TPTP formula. May not be expressible in strict first order. naics.kif 8267-8287
No TPTP formula. May not be expressible in strict first order. naics.kif 8176-8198
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 1756-1766
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1738-1748
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
( ! [V__MOVER,V__PLACE,V__TYPE] :
   ((s__instance(V__MOVER,s__Object) &
       s__instance(V__PLACE,s__Region) &
       s__subclass(V__TYPE,s__SelfConnectedObject) &
       s__instance(V__TYPE,s__SetOrClass))
     =>
     (s__trafficableForTrafficType(V__PLACE,V__TYPE)
     &
     s__subclass(V__TYPE,s__TransportationDevice) &
     s__instance(V__MOVER,V__TYPE))
=>
s__capableAtLocation(s__Transportation,s__instrument__m,V__MOVER,V__PLACE)
)
)

Transportation.kif 2588-2593
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1896-1911
No TPTP formula. May not be expressible in strict first order. Cars.kif 1209-1217
No TPTP formula. May not be expressible in strict first order. Cars.kif 4748-4758
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 1962-1973
( ! [V__C] :
   (s__instance(V__C,s__TransportationCompany) =>
     ( ? [V__S] :
       ((s__instance(V__S,s__CommercialService) &
           s__agent(V__S,V__C)
         &
         s__instance(V__S,s__Transportation))))
   )
)

Mid-level-ontology.kif 6843-6849
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2117-2126
( ! [V__COMPANY] :
   (s__instance(V__COMPANY,s__RailroadCompany) =>
     ( ? [V__SERVICE, V__TRAIN] :
       ((s__instance(V__SERVICE,s__CommercialService) &
           s__agent(V__SERVICE,V__COMPANY)
         &
         s__instance(V__SERVICE,s__Transportation) &
         s__instrument(V__SERVICE,V__TRAIN)
       &
       s__instance(V__TRAIN,s__Train))))
)
)

Transportation.kif 3201-3209
( ! [V__DEVICE] :
   (s__instance(V__DEVICE,s__TransportationDevice) =>
     s__capability(s__Transportation,s__instrument__m,V__DEVICE)
   )
)

Merge.kif 14778-14780

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners