Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

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


(subclass TransportationDevice Device) Merge.kif 16318-16318 Transportation device is a subclass of device
(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 16319-16321 Transportation device is a subclass of device

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


(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11871-11871 Transportation is internally related to transportation device
(subclass Vehicle TransportationDevice) Merge.kif 16327-16327 Vehicle is a subclass of transportation device
(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4339-4339 Furniture is disjoint from transportation device
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 16992-16992 Elevator is a subclass of transportation device
(subclass Pump TransportationDevice) Mid-level-ontology.kif 17018-17018 Pump is a subclass of transportation device
(subclass Oar TransportationDevice) Mid-level-ontology.kif 17031-17031 Oar is a subclass of transportation device
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 28665-28665 Wheelchair is a subclass of transportation device
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 1331-1331 Wheelchair is a subclass of transportation device

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


(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 25823-25823 The number 2 argument of conveyance is an instance of transportation device

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


(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))		 Merge.kif 16323-16325 If X is an instance of transportation device, then X is capable of doing transportation as a instrument
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))		 Mid-level-ontology.kif 25845-25852 If X is an instance of transportation, X is a subprocess of Y, Y is an instance of driving, Z is an instrument for X, and Z is an instance of transportation device, then Z is a patient of Y

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


(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TransportationDevice)
            (instrument ?TRANS ?DEVICE))))		 Merge.kif 11876-11881 If X is an instance of transportation, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X
(=>
    (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 24099-24107 If X is an instance of car bombing, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of transportation device, Z is an instrument for X, Y is an instrument for X, and Z is connected to Y
(=>
    (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 24166-24179 If X is an instance of hijacking, then there exist Y, Z such that Z is an agent of X, Y is an instance of transportation device, Z doesn't possess Y holds during immediately before the time of existence of X, and Z possesses Y holds during the time of existence of X
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))		 Mid-level-ontology.kif 24402-24407 If X is an instance of vehicle attack, then there exists Y such that Y is an instance of transportation device and Y is an instrument for X


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.0-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners