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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SparkPlug

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

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 436-437
No TPTP formula. May not be expressible in strict first order. Cars.kif 434-434 Spark plug is a subclass of electrical component
No TPTP formula. May not be expressible in strict first order. Cars.kif 3206-3206 A spark plug is typically a part of a automobile ignition system
No TPTP formula. May not be expressible in strict first order. Cars.kif 3207-3207 A automobile ignition system typically has a part spark plug

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 435-435

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 447-455
No TPTP formula. May not be expressible in strict first order. Cars.kif 439-445

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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