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

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	ExhaustManifold e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2632-2632	typicalPart ExhaustManifold and AutomobileExhaustSystem
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2633-2633	typicallyContainsPart ExhaustManifold and AutomobileExhaustSystem

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	typicalPart EngineMAPSensor and ExhaustManifold

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2653-2662	Objeto e' uma instancia de ExhaustManifold Objeto Objeto Objeto e' uma instancia de Tube Objeto e' uma instancia de Tube Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2635-2651	Fisico e' uma instancia de ExhaustManifold Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Exhaust Entidade e' uma instancia de EngineCylinder Entidade e' uma instancia de AutomobileMuffler Entidade e' uma instancia de Transferencia Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade termina em Entidade Entidade e' um patient de Entidade Entidade e' um instrumento para Entidade

consequent

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

Cars.kif 2681-2687

Fisico e' uma instancia de ExhaustValve
Fisico tem por fim Entidade Entidade e' uma instancia de ExhaustManifold Fisico e' conectado a Entidade

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