Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationDevice
TransportationDevice

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 15712-15714
(subclass TransportationDevice Device) Merge.kif 15711-15711

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


(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3673-3673
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11441-11441
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 14941-14941
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128
(subclass Oar TransportationDevice) Mid-level-ontology.kif 14980-14980
(subclass Pump TransportationDevice) Mid-level-ontology.kif 14967-14967
(subclass SnowSki TransportationDevice) Sports.kif 962-962
(subclass Vehicle TransportationDevice) Merge.kif 15720-15720
(subclass WaterSki TransportationDevice) Sports.kif 1153-1153
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 25608-25608
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1207-1207
(termFormat ChineseLanguage TransportationDevice "运输设备") chinese_format.kif 1058-1058
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 1327-1327

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


(domain cargoType 1 TransportationDevice) Transportation.kif 1036-1036
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 23066-23066
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 3256-3256
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1566-1566

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


(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 23088-23095
(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))
Transportation.kif 1591-1595
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 2609-2614
(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))
Merge.kif 15716-15718

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
        (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 11446-11451
(=>
    (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 21405-21413
(=>
    (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 21470-21483
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))
Mid-level-ontology.kif 21706-21711


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