Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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
-------------------------


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

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


(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4174-4174 Furniture is disjoint from transportation device
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11730-11730 Transportation is internally related to transportation device
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 16813-16813 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 16852-16852 Oar is a subclass of transportation device
(subclass Pump TransportationDevice) Mid-level-ontology.kif 16839-16839 Pump is a subclass of transportation device
(subclass SnowSki TransportationDevice) Sports.kif 1049-1049 Ski is a subclass of transportation device
(subclass Vehicle TransportationDevice) Merge.kif 16135-16135 Vehicle is a subclass of transportation device
(subclass WaterSki TransportationDevice) Sports.kif 1239-1239 Water ski is a subclass of transportation device
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 27781-27781 Wheelchair is a subclass of transportation device
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1293-1293 Wind surfing board is a subclass of transportation device
(termFormat ChineseLanguage TransportationDevice "运输设备") chinese_format.kif 1058-1058 Wind surfing board is a subclass of transportation device
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 1327-1327 Wind surfing board is a subclass of transportation device
(termFormat FrenchLanguage TransportationDevice "v�hicule de transport") french_format.kif 736-736 Wind surfing board is a subclass of transportation device
(termFormat Hindi TransportationDevice "parivahana saadhana") terms-hindi.txt 267-267 Wind surfing board is a subclass of transportation device
(termFormat ItalianLanguage TransportationDevice "MezzoDiTrasporto") terms-it.txt 270-270 Wind surfing board is a subclass of transportation device
(termFormat JapaneseLanguage TransportationDevice "輸送機") japanese_format.kif 2420-2420 Wind surfing board is a subclass of transportation device
(termFormat PortugueseLanguage TransportationDevice "Veiculo de Transporte") portuguese_format.kif 688-688 Wind surfing board is a subclass of transportation device
(termFormat cz TransportationDevice "transportation device") terms-cz.txt 306-306 Wind surfing board is a subclass of transportation device
(termFormat de TransportationDevice "Transportvorrichtung") terms-de.txt 565-565 Wind surfing board is a subclass of transportation device
(termFormat ro TransportationDevice "mijloc de transport") relations-ro.kif 757-757 Wind surfing board is a subclass of transportation device
(termFormat tg TransportationDevice "paraan ng paglilipat") terms-tg.txt 271-271 Wind surfing board is a subclass of transportation device

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


(domain cargoType 1 TransportationDevice) Transportation.kif 1036-1036 The number 1 argument of cargo type is an instance of transportation device
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 25194-25194 The number 2 argument of conveyance is an instance of transportation device
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 4398-4398 The number 1 argument of passenger capacity max number is an instance of transportation device
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1695-1695 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 25216-25223
(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))		 Transportation.kif 1720-1724
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))		 Transportation.kif 1701-1709
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))		 Transportation.kif 3141-3146
(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))		 Merge.kif 16131-16133

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 7023-7040
(=>
    (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 5683-5699
(=>
    (and
        (instance ?PARK DisabledParking)
        (instance ?AGENT Human)
        (attribute ?AGENT ?ATTR)
        (instance ?ATTR Disability))
    (hasPurposeForAgent ?PARK
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice))) ?AGENT))		 TransportDetail.kif 51-63
(=>
    (instance ?PARK ParkingRegion)
    (hasPurpose ?PARK
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice)))))		 TransportDetail.kif 36-44
(=>
    (instance ?TERM TransitTerminal)
    (hasPurpose ?TERM
        (exists (?T ?D)
            (and
                (patient ?T ?D)
                (instance ?D TransportationDevice)
                (or
                    (instance ?T Arriving)
                    (instance ?T Leaving))
                (eventLocated ?T ?TERM)))))		 Transportation.kif 3668-3678
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TransportationDevice)
            (instrument ?TRANS ?DEVICE))))		 Merge.kif 11735-11740
(=>
    (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 23498-23506
(=>
    (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 23564-23577
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))		 Mid-level-ontology.kif 23800-23805


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