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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContinuousCombustionEngine
  PoweredVehicle

Sigma KEE - PoweredVehicle
PoweredVehicle

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


(disjoint PoweredVehicle UnpoweredVehicle) Transportation.kif 1797-1797 PoweredVehicle è disgiunto da UnpoweredVehicle
(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 1794-1796
(externalImage PoweredVehicle "http://articulatesoftware.com/SUMOpictures/ transportation/ motorcycle/ cycle_2.png") pictureList.kif 2321-2321
(subclass PoweredVehicle Vehicle) Transportation.kif 1793-1793 PoweredVehicle è una sottoclasse di Vehicle

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2075-2075 Railcar è disgiunto da PoweredVehicle
(disjoint Trailer PoweredVehicle) Transportation.kif 1822-1822 Trailer è disgiunto da PoweredVehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 AAV è una sottoclasse di PoweredVehicle
(subclass APC PoweredVehicle) MilitaryDevices.kif 1574-1574 APC è una sottoclasse di PoweredVehicle
(subclass Airplane PoweredVehicle) Transportation.kif 2583-2583 Airplane è una sottoclasse di PoweredVehicle
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2166-2166 ElectrifiedRailwayCar è una sottoclasse di PoweredVehicle
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1893-1893 EmergencyRoadVehicle è una sottoclasse di PoweredVehicle
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1887-1887 EmergencyVehicle è una sottoclasse di PoweredVehicle
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1947-1947 LCAC è una sottoclasse di PoweredVehicle
(subclass Locomotive PoweredVehicle) Transportation.kif 2116-2116 Locomotive è una sottoclasse di PoweredVehicle
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2204-2204 MotorRailcar è una sottoclasse di PoweredVehicle
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2111-2111 MotorizedRailwayCar è una sottoclasse di PoweredVehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1804-1804 SelfPoweredRoadVehicle è una sottoclasse di PoweredVehicle
(subclass Train PoweredVehicle) Transportation.kif 2048-2048 Train è una sottoclasse di PoweredVehicle
(termFormat ChineseLanguage PoweredVehicle "动力车辆") domainEnglishFormat.kif 47024-47024
(termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") domainEnglishFormat.kif 47023-47023
(termFormat EnglishLanguage PoweredVehicle "powered vehicle") domainEnglishFormat.kif 47022-47022

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


(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1798-1801

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 3755-3769


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