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


s__documentation(s__TransportationDevice,s__ChineseLanguage,'"TransportationDevice 是在 Transportation Process 中用作 instrument 的一个 Device,通过这个 Process, 它把 patient 从一处运载到另一处。"')

chinese_format.kif 3622-3624
s__documentation(s__TransportationDevice,s__EnglishLanguage,'"A TransportationDevice is a Device which serves as the instrument in a Transportation Process which carries the patient of the Process from one point to another."')

Merge.kif 15195-15197
s__subclass(s__TransportationDevice,s__Device)

s__instance(s__Device,s__SetOrClass)

s__instance(s__TransportationDevice,s__SetOrClass)

Merge.kif 15194-15194 Transportation device is a subclass of device

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


s__disjoint(s__Furniture,s__TransportationDevice)

Mid-level-ontology.kif 3645-3645 Furniture is disjoint from transportation device
s__relatedInternalConcept(s__Transportation,s__TransportationDevice)

Merge.kif 11068-11068 Transportation is internally related to transportation device
s__instance(s__Elevator,s__SetOrClass)

s__subclass(s__Elevator,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

Mid-level-ontology.kif 13741-13741 Elevator is a subclass of transportation device
s__subclass(s__MilitaryPlatform,s__TransportationDevice)

s__instance(s__MilitaryPlatform,s__SetOrClass)

s__instance(s__TransportationDevice,s__SetOrClass)

Military.kif 128-128 Military platform is a subclass of transportation device
s__instance(s__Oar,s__SetOrClass)

s__subclass(s__Oar,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

Mid-level-ontology.kif 13780-13780 Oar is a subclass of transportation device
s__subclass(s__Pump,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

s__instance(s__Pump,s__SetOrClass)

Mid-level-ontology.kif 13767-13767 Pump is a subclass of transportation device
s__subclass(s__SnowSki,s__TransportationDevice)

s__instance(s__SnowSki,s__SetOrClass)

s__instance(s__TransportationDevice,s__SetOrClass)

Sports.kif 888-888 Ski is a subclass of transportation device
s__instance(s__Vehicle,s__SetOrClass)

s__subclass(s__Vehicle,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

Merge.kif 15203-15203 Vehicle is a subclass of transportation device
s__instance(s__WaterSki,s__SetOrClass)

s__subclass(s__WaterSki,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

Sports.kif 1079-1079 Water ski is a subclass of transportation device
s__instance(s__Wheelchair,s__SetOrClass)

s__instance(s__TransportationDevice,s__SetOrClass)

s__subclass(s__Wheelchair,s__TransportationDevice)

Mid-level-ontology.kif 24247-24247 Wheelchair is a subclass of transportation device
s__subclass(s__WindSurfingBoard,s__TransportationDevice)

s__instance(s__TransportationDevice,s__SetOrClass)

s__instance(s__WindSurfingBoard,s__SetOrClass)

Sports.kif 1133-1133 Wind surfing board is a subclass of transportation device
s__termFormat(s__ChineseLanguage,s__TransportationDevice,'"运输设备"')

chinese_format.kif 1058-1058
s__termFormat(s__EnglishLanguage,s__TransportationDevice,'"transportation device"')

english_format.kif 1332-1332

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


s__domain(s__cargoType__m,n__1,s__TransportationDevice)

Transportation.kif 1036-1036 The number 1 argument of cargo type is an instance of transportation device
s__domain(s__conveyance__m,n__2,s__TransportationDevice)

Mid-level-ontology.kif 21724-21724 The number 2 argument of conveyance is an instance of transportation device
s__domain(s__passengerCapacityMaxNumber__m,n__1,s__TransportationDevice)

Transportation.kif 3264-3264 The number 1 argument of passenger capacity max number is an instance of transportation device
s__domainSubclass(s__TransportationFn__m,n__1,s__TransportationDevice)

Transportation.kif 1566-1566 The number 1 argument of transportation is a subclass of transportation device

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


( ! [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 21746-21753
( ! [V__VEHICLE,V__TRIP] :
   ((s__instance(V__TRIP,s__Process) =>
       (((s__instance(V__VEHICLE,s__TransportationDevice) &
             s__instance(V__TRIP,s__TripFn(V__VEHICLE)))
       =>
       (s__instrument(V__TRIP,V__VEHICLE)))))
)
)

Transportation.kif 1591-1595
( ! [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__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
( ! [V__DEVICE] :
   ((s__instance(V__DEVICE,s__TransportationDevice) =>
       (s__capability(s__Transportation,s__instrument__m,V__DEVICE)))
   )
)

Merge.kif 15199-15201

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


( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__MotorVehicleAndPartsDealers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   (s__instance(V__THING,s__TransportationDevice) |
                     ( ? [V__DEV] :
                       ((s__part(V__THING,V__DEV)
                         &
                         s__instance(V__DEV,s__TransportationDevice))))
                   |
                   s__patient(V__EV,V__THING)))))))))))
)
)

naics.kif 7030-7047
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__TransportationEquipmentManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__TransportationDevice) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 5690-5706
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
( ! [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
( ! [V__X] :
   ((s__instance(V__X,s__CarBombing) =>
       (( ? [V__BOMB, V__CAR] :
           ((s__instance(V__BOMB,s__Bomb) &
               s__instance(V__CAR,s__TransportationDevice) &
               s__instrument(V__X,V__CAR)
             &
             s__instrument(V__X,V__BOMB)
           &
           s__connected(V__CAR,V__BOMB))))))
)
)

Mid-level-ontology.kif 20065-20073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20128-20141
( ! [V__X] :
   ((s__instance(V__X,s__VehicleAttack) =>
       (( ? [V__V] :
           ((s__instance(V__V,s__TransportationDevice) &
               s__instrument(V__X,V__V))))))
   )
)

Mid-level-ontology.kif 20364-20369


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