CatalyticConverter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 1716-1719
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1714-1714	Catalytic converter is a subclass of combustion chamber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1721-1721	A catalytic converter is typically a part of a exhaust system
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1722-1722	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 1715-1715

antecedent

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

Cars.kif 1724-1740

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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