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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SparkPlug
SparkPlug(spark plug)plug, spark_plug, sparking_plug

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 Spark plug is a subclass of electrical component
(typicalPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3191-3191 A spark plug is typically a part of a automobile ignition system
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3192-3192 A automobile ignition system typically has a part spark plug

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


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