TreeView Knowledge Base Browser - CatalyticConverter

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

CatalyticConverter

Sigma KEE - CatalyticConverter

CatalyticConverter(catalytic converter)

catalytic_converter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1715-1718
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1713-1713	Catalytic converter is a subclass of combustion chamber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1720-1720	A catalytic converter is typically a part of a exhaust system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1721-1721	A exhaust system typically has a part catalytic converter

appearance as argument number 2

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

Cars.kif 1714-1714

antecedent

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

Cars.kif 1723-1739

If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object,
then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical

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