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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoweredVehicle
PoweredVehicle(动力车辆)

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


(disjoint PoweredVehicle UnpoweredVehicle) Transportation.kif 1805-1805 动力车辆 和 % 2 是 disjoint
(documentation PoweredVehicle EnglishLanguage "A Vehicle that has a powerComponent. Note that PoweredVehicles include those vehicles that have a powerComponent where the user can and does often choose not to use it, such as a moped with pedals.") Transportation.kif 1802-1804
(externalImage PoweredVehicle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ motorcycle/ cycle_2.png") pictureList.kif 2322-2322
(subclass PoweredVehicle Vehicle) Transportation.kif 1801-1801 动力车辆车辆subclass

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2083-2083 轨道车 和 % 2 是 disjoint
(disjoint Trailer PoweredVehicle) Transportation.kif 1830-1830 预告片 和 % 2 是 disjoint
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 AAV动力车辆subclass
(subclass APC PoweredVehicle) MilitaryDevices.kif 1574-1574 AP c动力车辆subclass
(subclass Airplane PoweredVehicle) Transportation.kif 2590-2590 飞机动力车辆subclass
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2174-2174 电气化铁路车动力车辆subclass
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1901-1901 紧急公路车辆动力车辆subclass
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1895-1895 紧急车辆动力车辆subclass
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1947-1947 LCAC动力车辆subclass
(subclass Locomotive PoweredVehicle) Transportation.kif 2124-2124 机车动力车辆subclass
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2212-2212 电动轨道车动力车辆subclass
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2119-2119 机动铁路车动力车辆subclass
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1812-1812 自供电公路车辆动力车辆subclass
(subclass Train PoweredVehicle) Transportation.kif 2056-2056 火车动力车辆subclass
(termFormat ChineseLanguage PoweredVehicle "动力车辆") domainEnglishFormat.kif 47007-47007
(termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") domainEnglishFormat.kif 47006-47006
(termFormat EnglishLanguage PoweredVehicle "powered vehicle") domainEnglishFormat.kif 47005-47005

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


(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1806-1809

consequent
-------------------------


(=>
    (instance ?X RemoteIgnitionControl)
    (hasPurpose ?X
        (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)
            (and
                (instance ?VEHICLE PoweredVehicle)
                (instance ?SIGNAL ElectronicSignalling)
                (instrument ?SIGNAL ?X)
                (destination ?SIGNAL ?VEHICLE)
                (instance ?ENGINE Engine)
                (component ?ENGINE ?VEHICLE)
                (instance ?PROC
                    (OperatingFn Engine))
                (experiencer ?PROC ?ENGINE)
                (causes ?SIGNAL ?PROC)))))
Cars.kif 3758-3772


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