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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SparkPlug

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 3206-3206
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3207-3207

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