TreeView Knowledge Base Browser - Exhaust

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Exhaust

Exhaust

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1142-1148
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31595-31595	roomTempState Exhaust and Gas
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1139-1139	Exhaust est une sous-classe de mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1140-1140	Smoke est une sous-classe de Exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1141-1141

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objet corpusculaire est une instance de Exhaust Fuel est fait de objet corpusculaire transf�re est une instance de transf�re objet corpusculaire NG est une instance de Engine transf�re a pour origine objet corpusculaire NG physique est une instance de CatalyticConverter transf�re aboutit � physique objectTransferred transf�re and objet corpusculaire physique a pour but entit� entit� est une instance de combustion physique est un instrument pour entit� objet corpusculaire est un patient de entit� eventLocated entit� and physique
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	Objet est une instance de Tailpipe objetR est une instance de transf�re entit� est une instance de Exhaust objet est une instance de Automobile objetES est une instance de AutomobileExhaustSystem objet est une partie de objet objet est le chemin le long duquel objetR se produit entit� est un patient de objetR objet a pour but entit� entit� est une partie de objet beforeOnPath objet, entit�, objetES and objetR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	Objet est une instance de Exhaust objet objet and processus processus est une instance de combustion Solid est un attribut de objet Gas est un attribut de objet objet est une partie de objet objet est une partie de objet objet est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1161-1165	Entit� est une instance de Exhaust l'argument entit� est capable de faire voir dans le r�le patient a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1167-1172	Entit� est une instance de Exhaust l'argument entit� est capable de faire voir dans le r�le patient a la force modale de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	Processus est une instance de FourStrokeExhaust objet est une instance de EngineCylinder trou est une instance de InternalCombustionChamber objet est h�te du trou trou eventLocated processus and objet entit� processus processus est une instance de GasMotion entit� est une instance de Exhaust processus est un sous-processus de processus processus a pour origine trou entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	Processus est une instance de TwoStrokeTransfer objet est une instance de EngineCylinder trou est une instance de InternalCombustionChamber objet est h�te du trou trou eventLocated processus and objet entit� processus processus est une instance de GasMotion entit� est une instance de Exhaust processus est un sous-processus de processus processus a pour origine trou entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2635-2651	Physique est une instance de ExhaustManifold physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de Exhaust entit� est une instance de EngineCylinder entit� est une instance de AutomobileMuffler entit� est une instance de transf�re physique est une partie de entit� entit� est une partie de entit� entit� est une partie de entit� entit� a pour origine entit� entit� aboutit � entit� entit� est un patient de entit� entit� est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2679	Physique est une instance de ExhaustValve physique a pour but entit� entit� entit� est une instance de transf�re objectTransferred entit� and entit� physique est le chemin le long duquel entit� se produit entit� est une instance de Exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3270-3285	Physique est une instance de ManifoldHeatControlValve physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est une instance de Opening entit� est une instance de Exhaust entit� est une instance de transf�re entit� est une instance de FuelVapor physique est un patient de entit� entit� est un instrument pour entit� entit� est un patient de entit� physique est le chemin le long duquel entit� se produit entit� cause entit� entit� cause entit�

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