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


(documentation TransportationDevice ChineseLanguage "TransportationDevice 是在 Transportation Process 中用作 instrument 的一个 Device,通过这个 Process, 它把 patient 从一处运载到另一处。") Merge.kif 16128-16130
(documentation TransportationDevice 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 16125-16127
(subclass TransportationDevice Device) Merge.kif 16124-16124 Transportation device is a subclass of device

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


(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4247-4247 Furniture is disjoint from transportation device
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11543-11543 Transportation is internally related to transportation device
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 13107-13107 Elevator is a subclass of transportation device
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128 Military platform is a subclass of transportation device
(subclass Oar TransportationDevice) Mid-level-ontology.kif 13145-13145 Oar is a subclass of transportation device
(subclass Pump TransportationDevice) Mid-level-ontology.kif 13132-13132 Pump is a subclass of transportation device
(subclass SnowSki TransportationDevice) Sports.kif 884-884 Ski is a subclass of transportation device
(subclass Vehicle TransportationDevice) Merge.kif 16136-16136 Vehicle is a subclass of transportation device
(subclass WaterSki TransportationDevice) Sports.kif 1075-1075 Water ski is a subclass of transportation device
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 24112-24112 Wheelchair is a subclass of transportation device
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1129-1129 Wind surfing board is a subclass of transportation device
(termFormat ChineseLanguage TransportationDevice "运输设备") chinese_format.kif 1058-1058 "运输设备" is the printable form of transportation device in ChineseLanguage
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 745-745 "transportation device" is the printable form of transportation device in english language

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


(domain cargoType 1 TransportationDevice) Transportation.kif 1010-1010 The number 1 argument of cargo type is an instance of transportation device
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 21447-21447 The number 2 argument of conveyance is an instance of transportation device
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 3201-3201 The number 1 argument of passenger capacity max number is an instance of transportation device
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1536-1536 The number 1 argument of transportation is a subclass of transportation device

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


(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 21469-21476
(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))
Transportation.kif 1561-1565
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))
Transportation.kif 1542-1550
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 2551-2556
(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))
Merge.kif 16132-16134

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG MotorVehicleAndPartsDealers))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (or
                        (instance ?THING TransportationDevice)
                        (exists (?DEV)
                            (and
                                (part ?THING ?DEV)
                                (instance ?DEV TransportationDevice)))
                        (patient ?EV ?THING)))))))
naics.kif 7030-7047
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TransportationEquipmentManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING TransportationDevice)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 5690-5706
(=>
    (and
        (instance ?PARK DisabledParking)
        (instance ?AGENT Human)
        (attribute ?AGENT ?ATTR)
        (instance ?ATTR Disability))
    (hasPurposeForAgent ?PARK
        (and
            (playsRoleInEvent ?PARK destination ?EVENT)
            (playsRoleInEvent ?TD patient ?EVENT)
            (instance ?TD TransportationDevice)) ?AGENT))
TransportDetail.kif 49-59
(=>
    (instance ?PARK ParkingRegion)
    (hasPurpose ?PARK
        (and
            (playsRoleInEvent ?PARK destination ?EVENT)
            (playsRoleInEvent ?TD patient ?EVENT)
            (instance ?TD TransportationDevice))))
TransportDetail.kif 36-42
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TransportationDevice)
            (instrument ?TRANS ?DEVICE))))
Merge.kif 11549-11554
(=>
    (instance ?X CarBombing)
    (exists (?BOMB ?CAR)
        (and
            (instance ?BOMB Bomb)
            (instance ?CAR TransportationDevice)
            (instrument ?X ?CAR)
            (instrument ?X ?BOMB)
            (connected ?CAR ?BOMB))))
Mid-level-ontology.kif 19626-19634
(=>
    (instance ?X Hijacking)
    (exists (?V ?A)
        (and
            (agent ?X ?A)
            (instance ?V TransportationDevice)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?X))
                (not
                    (possesses ?A ?V)))
            (holdsDuring
                (WhenFn ?X)
                (possesses ?A ?V)))))
Mid-level-ontology.kif 19689-19702
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))
Mid-level-ontology.kif 19929-19934


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