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 3258-3262
No TPTP formula. May not be expressible in strict first order. Cars.kif 3256-3256 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 3257-3257
No TPTP formula. May not be expressible in strict first order. Cars.kif 3264-3264 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 3267-3267 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 3265-3265 A automobile ignition system typically has a part ignition control module
No TPTP formula. May not be expressible in strict first order. Cars.kif 3268-3268 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