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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransportationDevice

Sigma KEE - TransportationDevice
TransportationDeviceเรือร้าง, เรือทิ้งร้าง, ระบบการขนส่งทางอากาศ, รถสะเทินน้ำสะเทินบก, แองเกิลโดเซอร์, รถเข็นผลไม้, รถเข็นแอปเปิ้ล, กระดานลากโต้คลื่น, ท่อส่งน้ำ, เรือโนอา, ไจโรเพลน, เรือดำน้ำสำหรับงานวิจัย, บี-52, รถบรรทุกเครื่องดนตรี, รถม้าบารูช, รถเข็น, รถเข็นล้อเดียว, ยานสำรวจน้ำลึก, แบตเทิลชิป, รถเบอร์ลิน, เรือแคนูไม้เบิร์ช, เครื่องบินเล็ก, บ็อบสเลด, เลื่อนหิมะ, บ็อบสเลด, เครื่องบินไม่ทราบสัญชาติ, ห้องสมุดเคลื่อนที่, รถห้องสมุดเคลื่อนที่, รถม้าบรูม, รถม้าบักบอร์ด, รถม้าบักกี, รถไฟความเร็วสูง, รถไฟฟ้าความเร็วสูง, เรือบัมโบท, เรือบั๊มโบ๊ท, รถม้า, เรือท่องเที่ยว, เรือสำราญ, เคเบิลคาร์, แคปิตอลชิป, เรือบรรทุกสินค้า, เรือสินค้า, สายพานหมุนเป็นวงกลม, รถม้าเชส, ราชรถ, รถบรรทุกเสบียง, รถม้า, คอมมานด์โมดูล...

appearance as argument number 1
-------------------------


(documentation TransportationDevice ChineseLanguage "TransportationDevice 是在 Transportation Process 中用作 instrument 的一个 Device,通过这个 Process, 它把 patient 从一处运载到另一处。") Merge.kif 16076-16078
(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 16073-16075
(subclass TransportationDevice Device) Merge.kif 16072-16072

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


(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 4247-4247
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11485-11485
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 13107-13107
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128
(subclass Oar TransportationDevice) Mid-level-ontology.kif 13145-13145
(subclass Pump TransportationDevice) Mid-level-ontology.kif 13132-13132
(subclass SnowSki TransportationDevice) Sports.kif 884-884
(subclass Vehicle TransportationDevice) Merge.kif 16084-16084
(subclass WaterSki TransportationDevice) Sports.kif 1075-1075
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 24032-24032
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1129-1129
(termFormat ChineseLanguage TransportationDevice "运输设备") chinese_format.kif 1058-1058
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 745-745
(termFormat FrenchLanguage TransportationDevice "v�hicule de transport") french_format.kif 736-736
(termFormat Hindi TransportationDevice "parivahana saadhana") terms-hindi.txt 267-267
(termFormat ItalianLanguage TransportationDevice "MezzoDiTrasporto") terms-it.txt 268-268
(termFormat PortugueseLanguage TransportationDevice "Veiculo de Transporte") portuguese_format.kif 688-688
(termFormat cz TransportationDevice "transportation device") terms-cz.txt 306-306
(termFormat tg TransportationDevice "paraan ng paglilipat") terms-tg.txt 271-271

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


(domain cargoType 1 TransportationDevice) Transportation.kif 983-983
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 21416-21416
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 3174-3174
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1509-1509

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


(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))
Mid-level-ontology.kif 21438-21445
(=>
    (and
        (instance ?VEHICLE TransportationDevice)
        (instance ?TRIP
            (TripFn ?VEHICLE)))
    (instrument ?TRIP ?VEHICLE))
Transportation.kif 1534-1538
(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))
Transportation.kif 1515-1523
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 2524-2529
(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))
Merge.kif 16080-16082

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 11491-11496
(=>
    (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 19568-19576
(=>
    (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 19631-19644
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))
Mid-level-ontology.kif 19871-19876


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