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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TransportationDevice
TransportationDevice(v�hicule de transport)

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 16142-16144
(subclass TransportationDevice Device) Merge.kif 16141-16141 V�hicule de transport est une sous-classe de appareil

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


(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4155-4155 Furniture est disjoint de v�hicule de transport
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11745-11745 Transporter est reli� � l'int�rieur de SUMO � v�hicule de transport
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 16795-16795 Elevator est une sous-classe de v�hicule de transport
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128 MilitaryPlatform est une sous-classe de v�hicule de transport
(subclass Oar TransportationDevice) Mid-level-ontology.kif 16834-16834 Oar est une sous-classe de v�hicule de transport
(subclass Pump TransportationDevice) Mid-level-ontology.kif 16821-16821 Pump est une sous-classe de v�hicule de transport
(subclass SnowSki TransportationDevice) Sports.kif 1049-1049 SnowSki est une sous-classe de v�hicule de transport
(subclass Vehicle TransportationDevice) Merge.kif 16150-16150 Vehicle est une sous-classe de v�hicule de transport
(subclass WaterSki TransportationDevice) Sports.kif 1239-1239 WaterSki est une sous-classe de v�hicule de transport
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 28022-28022 Wheelchair est une sous-classe de v�hicule de transport
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1293-1293 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat ChineseLanguage TransportationDevice "运输设备") chinese_format.kif 1058-1058 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 1327-1327 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat FrenchLanguage TransportationDevice "v�hicule de transport") french_format.kif 736-736 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat Hindi TransportationDevice "parivahana saadhana") terms-hindi.txt 267-267 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat ItalianLanguage TransportationDevice "MezzoDiTrasporto") terms-it.txt 270-270 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat JapaneseLanguage TransportationDevice "輸送機") japanese_format.kif 2420-2420 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat PortugueseLanguage TransportationDevice "Veiculo de Transporte") portuguese_format.kif 688-688 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat cz TransportationDevice "transportation device") terms-cz.txt 306-306 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat de TransportationDevice "Transportvorrichtung") terms-de.txt 565-565 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat ro TransportationDevice "mijloc de transport") relations-ro.kif 757-757 WindSurfingBoard est une sous-classe de v�hicule de transport
(termFormat tg TransportationDevice "paraan ng paglilipat") terms-tg.txt 271-271 WindSurfingBoard est une sous-classe de v�hicule de transport

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


(domain cargoType 1 TransportationDevice) Transportation.kif 1036-1036 Le nombre 1 argument de cargoType est une instance de v�hicule de transport
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 25175-25175 Le nombre 2 argument de conveyance est une instance de v�hicule de transport
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 4400-4400 Le nombre 1 argument de passengerCapacityMaxNumber est une instance de v�hicule de transport
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1695-1695 Le nombre 1 argument de TransportationFn est une sous-classe de v�hicule de transport

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


(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 25197-25204
(=>
    (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 16146-16148

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 3670-3680
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TransportationDevice)
            (instrument ?TRANS ?DEVICE))))
Merge.kif 11750-11755
(=>
    (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 23481-23489
(=>
    (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 23547-23560
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))
Mid-level-ontology.kif 23783-23788


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