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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spark
Spark

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


(documentation Spark EnglishLanguage "An electric charge that moves from point to point across an Air gap, rather than travelling through a solid conductor.") Cars.kif 420-421
(subclass Spark ElectricTransmission) Cars.kif 418-418

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


(subclass Lightning Spark) Cars.kif 422-422
(termFormat EnglishLanguage Spark "spark") Cars.kif 419-419

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


(=>
    (instance ?S Spark)
    (exists (?E ?G)
        (and
            (instance ?E Electricity)
            (patient ?S ?E)
            (instance ?G Substance)
            (attribute ?G Gas)
            (eventLocated ?S ?G))))
Cars.kif 424-432

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 2261-2273
(=>
    (instance ?IC IgnitionCoil)
    (hasPurpose ?IC
        (exists (?P ?S)
            (and
                (instance ?P ElectricTransmission)
                (instrument ?P ?IC)
                (instance ?S Spark)
                (causes ?P ?S)))))
Cars.kif 3142-3150
(=>
    (instance ?ICM IgnitionControlModule)
    (hasPurpose ?ICM
        (exists (?S ?A ?CP)
            (and
                (instance ?A Automobile)
                (instance ?S Spark)
                (instance ?CP ComputerProcess)
                (part ?ICM ?A)
                (eventLocated ?CP ?A)
                (eventLocated ?S ?A)
                (causes ?CP ?S)))))
Cars.kif 3157-3168
(=>
    (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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners