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
(typicalPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3220-3220
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3221-3221

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 2288-2300


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