TreeView Knowledge Base Browser - GasMotion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GasMotion

GasMotion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3025-3026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11268-11270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1790-1791
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11266-11266	GasMotion e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11278-11278	Wind e' uma sub-classe de GasMotion
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25538-25538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25537-25537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25536-25536

antecedent

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

Merge.kif 11272-11276

Processo e' uma instancia de GasMotion Objeto e' um patient de Processo
Gas e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	Processo e' uma instancia de FourStrokeExhaust Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Entidade Processo Processo e' uma instancia de GasMotion Entidade e' uma instancia de Exhaust Processo e' um sub-processo de Processo Processo tem como origem Buraco Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	Processo e' uma instancia de FourStrokeIntake Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto ProcessoV Processo Processo e' uma instancia de GasMotion ProcessoV e' uma instancia de FuelVapor Processo e' um sub-processo de Processo Processo termina em Buraco ProcessoV e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	Processo e' uma instancia de TwoStrokeTransfer Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Entidade Processo Processo e' uma instancia de GasMotion Entidade e' uma instancia de Exhaust Processo e' um sub-processo de Processo Processo tem como origem Buraco Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5200-5212	Fisico e' uma instancia de Supercharger Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de GasMotion Entidade tem como origem Fisico Entidade e' uma instancia de IntakeValve Entidade termina em Entidade Entidade e' uma instancia de Air objectTransferred Entidade and Entidade Pressurized e' um atributo de Entidade vale durante tempo de existencia de 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