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


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 11070-11071
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 8120-8120
s__externalImage(s__Transportation,'"http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Acela_2000.jpg"')

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

Merge.kif 11068-11068 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 11067-11067 Transportation is a subclass of translocation

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


s__rangeSubclass(s__TransportationFn__m,s__Transportation)

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

Transportation.kif 1584-1584 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 16141-16141 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 11086-11086 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 16223-16223 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 7175-7175 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 7188-7188 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 16154-16154 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 16246-16246 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 16195-16195 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 22005-22005 The number 1 argument of conveyance is an instance of transportation
s__domain(s__transported__m,n__1,s__Transportation)

Mid-level-ontology.kif 21330-21330 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 3431-3439
( ! [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 22047-22053
( ! [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 22055-22061
( ! [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 22063-22070
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
( ! [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 13998-14006
( ! [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 789-795
( ! [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 22008-22013
( ! [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 22028-22035
( ! [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 1860-1872
( ! [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 15891-15896
( ! [V__TYPE,V__TRIP] :
   (((s__instance(V__TYPE,s__Class) &
         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 1572-1580
( ! [V__TRANS] :
   ((s__instance(V__TRANS,s__Transportation) =>
       (( ? [V__DEVICE] :
           ((s__instance(V__DEVICE,s__TransportationDevice) &
               s__instrument(V__TRANS,V__DEVICE))))))
   )
)

Merge.kif 11073-11078

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 7798-7811
( ! [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 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
( ! [V__MOVER,V__PLACE,V__TYPE] :
   (((s__instance(V__MOVER,s__Object) &
         s__instance(V__PLACE,s__Region) &
         s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__SelfConnectedObject))
       =>
       (((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 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 4792-4802
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
( ! [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 6647-6653
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2135-2144
( ! [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 3230-3238
( ! [V__DEVICE] :
   ((s__instance(V__DEVICE,s__TransportationDevice) =>
       (s__capability(s__Transportation,s__instrument__m,V__DEVICE)))
   )
)

Merge.kif 15199-15201

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