TreeView Knowledge Base Browser - ExhaustManifold

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ExhaustManifold

Sigma KEE - ExhaustManifold

ExhaustManifold(exhaust manifold)

exhaust_manifold

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2627-2630
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2625-2625	Exhaust manifold is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2632-2632	A exhaust manifold is typically a part of a exhaust system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2633-2633	A exhaust system typically has a part exhaust manifold

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2626-2626
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3292-3292	A manifold absolute pressure sensor is typically a part of a exhaust manifold

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2653-2662	If an object is an instance of exhaust manifold, then there exist another object and a third object such that the other object is an instance of tube and the third object is an instance of tube and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2635-2651	If a physical is an instance of exhaust manifold, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of automobile and the other entity is an instance of exhaust and the third entity is an instance of engine cylinder and the fourth entity is an instance of muffler and the fifth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the fourth entity is a part of the entity and the fifth entity originates at the third entity and the fifth entity ends up at the fourth entity and the other entity is a patient of the fifth entity and the other entity is an instrument for the fifth entity

consequent

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

Cars.kif 2681-2687

If a physical is an instance of exhaust valve,
then the physical has the purpose there exists an entity such that the entity is an instance of exhaust manifold 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