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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomobileIgnitionSystem

Sigma KEE - AutomobileIgnitionSystem
AutomobileIgnitionSystem(automobile ignition system)ignition, ignition_system

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3172-3176
No TPTP formula. May not be expressible in strict first order. Cars.kif 3170-3170 Automobile ignition system is a subclass of physical system

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3171-3171
No TPTP formula. May not be expressible in strict first order. Cars.kif 3178-3178 A ignition control module is typically a part of a automobile ignition system
No TPTP formula. May not be expressible in strict first order. Cars.kif 3181-3181 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 3179-3179 A automobile ignition system typically has a part ignition control module
No TPTP formula. May not be expressible in strict first order. Cars.kif 3182-3182 A automobile ignition system typically has a part spark plug


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