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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RemoteIgnitionControl
RemoteIgnitionControl(remote ignition control)

appearance as argument number 1

(documentation RemoteIgnitionControl EnglishLanguage "A RemoteControl able to start the Engine of a PoweredVehicle using ElectronicSignalling.") Cars.kif 3754-3754
(subclass RemoteIgnitionControl RemoteControl) Cars.kif 3753-3753 Remote ignition control is a subclass of remote control

appearance as argument number 2

(termFormat EnglishLanguage RemoteIgnitionControl "remote ignition control") domainEnglishFormat.kif 65403-65403


    (instance ?X RemoteIgnitionControl)
    (hasPurpose ?X
        (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)
                (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 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