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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SparkPlug
SparkPlug

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


(documentation SparkPlug EnglishLanguage "A device, used to ignite Fuel, that generates a Spark.") Cars.kif 436-437
(subclass SparkPlug ElectricalComponent) Cars.kif 434-434 SparkPlug电气元件subclass
(typicalPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3206-3206 SparkPlug typicallyAutomobileIgnitionSystempart
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3207-3207 AutomobileIgnitionSystem typicallypart SparkPlug

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


(termFormat EnglishLanguage SparkPlug "spark plug") Cars.kif 435-435

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


(=>
    (instance ?SP SparkPlug)
    (hasPurpose ?SP
        (exists (?S ?C)
            (and
                (instance ?S Spark)
                (instrument ?S ?SP)
                (instance ?C Combustion)
                (causes ?S ?C)))))
Cars.kif 447-455
(=>
    (instance ?SP SparkPlug)
    (hasPurpose ?SP
        (exists (?S)
            (and
                (instance ?S Spark)
                (instrument ?S ?SP)))))
Cars.kif 439-445

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


(=>
    (instance ?D Distributor)
    (hasPurpose ?D
        (exists (?SP ?S ?O ?R ?E)
            (and
                (instance ?E Engine)
                (instance ?SP SparkPlug)
                (instance ?S Spark)
                (part ?O ?D)
                (part ?D ?E)
                (part ?SP ?E)
                (instance ?R Rotating)
                (causes ?R ?S)))))
Cars.kif 2274-2286


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