SparkPlug - Sigma Knowledge base Browser

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 3266-3266	A spark plug is typically a part of a automobile ignition system
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem)	Cars.kif 3267-3267	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	If a physical is an instance of spark plug, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of spark and the physical is an instrument for the entity and the other entity is an instance of burning and the entity causes the other entity
(=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S) (and (instance ?S Spark) (instrument ?S ?SP)))))	Cars.kif 439-445	If a physical is an instance of spark plug, then the physical has the purpose there exists an entity such that the entity is an instance of spark and the physical is an instrument for the entity

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

If a physical is an instance of distributor,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the fifth entity is an instance of engine and the entity is an instance of spark plug and the other entity is an instance of spark and the third entity is a part of the physical and the physical is a part of the fifth entity and the entity is a part of the fifth entity and the fourth entity is an instance of rotating and the fourth entity causes the other entity

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

KB Term:			Term intersection

English Word: