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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IgnitionCoil

Sigma KEE - IgnitionCoil
IgnitionCoil(ignition coil)coil, ignition_coil

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3112-3114
No TPTP formula. May not be expressible in strict first order. Cars.kif 3110-3110 Ignition coil is a subclass of transformer
No TPTP formula. May not be expressible in strict first order. Cars.kif 3115-3115 A ignition coil is typically a part of a automobile
No TPTP formula. May not be expressible in strict first order. Cars.kif 3116-3116 A automobile typically has a part ignition coil

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


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

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3130-3140
No TPTP formula. May not be expressible in strict first order. Cars.kif 3118-3128
No TPTP formula. May not be expressible in strict first order. Cars.kif 3142-3150


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