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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernTurkicLanguage

 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 16038-16040
(subclass TransportationDevice Device) Merge.kif 16037-16037 子類 TransportationDevice and Device

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


(disjoint Furniture TransportationDevice) Mid-level-ontology.kif 3705-3705 不相交的 家具 and TransportationDevice
(relatedInternalConcept Transportation TransportationDevice) Merge.kif 11641-11641 相關的內部概念 Transportation and TransportationDevice
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 15449-15449 子類 電梯 and TransportationDevice
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128 子類 軍事平台 and TransportationDevice
(subclass Oar TransportationDevice) Mid-level-ontology.kif 15488-15488 子類 槳 and TransportationDevice
(subclass Pump TransportationDevice) Mid-level-ontology.kif 15475-15475 子類 泵 and TransportationDevice
(subclass SnowSki TransportationDevice) Sports.kif 1036-1036 子類 SnowSki and TransportationDevice
(subclass Vehicle TransportationDevice) Merge.kif 16046-16046 子類 車輛 and TransportationDevice
(subclass WaterSki TransportationDevice) Sports.kif 1226-1226 子類 WaterSki and TransportationDevice
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 26157-26157 子類 Wheelchair and TransportationDevice
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1280-1280 子類 WindSurfingBoard and TransportationDevice
(termFormat ChineseLanguage TransportationDevice "运输设备") chinese_format.kif 1058-1058
(termFormat EnglishLanguage TransportationDevice "transportation device") english_format.kif 1327-1327
(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 270-270
(termFormat JapaneseLanguage TransportationDevice "輸送機") japanese_format.kif 2420-2420
(termFormat PortugueseLanguage TransportationDevice "Veiculo de Transporte") portuguese_format.kif 688-688
(termFormat cz TransportationDevice "transportation device") terms-cz.txt 306-306
(termFormat ro TransportationDevice "mijloc de transport") relations-ro.kif 757-757
(termFormat tg TransportationDevice "paraan ng paglilipat") terms-tg.txt 271-271

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


(domain cargoType 1 TransportationDevice) Transportation.kif 1036-1036 域 貨物類型, 1 and TransportationDevice
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 23586-23586 域 輸送, 2 and TransportationDevice
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 3309-3309 域 客運量最大數量, 1 and TransportationDevice
(domainSubclass TransportationFn 1 TransportationDevice) Transportation.kif 1566-1566 域子類 運輸, 1 and TransportationDevice

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


(=>
    (and
        (instance ?TRANSPORT Transportation)
        (subProcess ?TRANSPORT ?DRIVE)
        (instance ?DRIVE Driving)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE TransportationDevice))
    (patient ?DRIVE ?VEHICLE))		 Mid-level-ontology.kif 23608-23615
(=>
    (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 2643-2648
(=>
    (instance ?DEVICE TransportationDevice)
    (capability Transportation instrument ?DEVICE))		 Merge.kif 16042-16044

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 ?TRANS Transportation)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE TransportationDevice)
            (instrument ?TRANS ?DEVICE))))		 Merge.kif 11646-11651
(=>
    (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 21891-21899
(=>
    (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 21956-21969
(=>
    (instance ?X VehicleAttack)
    (exists (?V)
        (and
            (instance ?V TransportationDevice)
            (instrument ?X ?V))))		 Mid-level-ontology.kif 22192-22197


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 3.0 is open source software produced by Articulate Software and its partners