TreeView Knowledge Base Browser - EngineControlModule

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

EngineControlModule

Sigma KEE - EngineControlModule

EngineControlModule(engine control module)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2514-2517
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2512-2512	Engine control module is a subclass of computer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2513-2513

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2519-2532

If a physical is an instance of engine control module,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the other entity is an instance of engine and the third entity is an instance of process and the fourth entity is an instance of process and the other entity is a part of the entity and the physical is a part of the entity and the third entity is located at the physical and the fourth entity is located at the other entity and the third entity causes the fourth entity

consequent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 3286-3295

If a physical is an instance of manifold absolute pressure sensor,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of engine control module and the other entity is an instance of automobile and the physical is a part of the other entity and the entity is a part of the other entity and the physical is connected to the entity

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