Fuel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Fuel

Fuel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1694-1696
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 898-898
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1693-1693	Fuel e' uma sub-classe de Substancia

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1676-1676	Charcoal e' uma sub-classe de Fuel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1687-1687	FossilFuel e' uma sub-classe de Fuel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25160-25160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25159-25159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25158-25158

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objeto Corpuscular e' uma instancia de Exhaust Fuel e' feito de Objeto Corpuscular Transferencia e' uma instancia de Transferencia Objeto CorpuscularNG e' uma instancia de Engine Transferencia tem como origem Objeto CorpuscularNG Fisico e' uma instancia de CatalyticConverter Transferencia termina em Fisico objectTransferred Transferencia and Objeto Corpuscular Fisico tem por fim Entidade Entidade e' uma instancia de Combustao Fisico e' um instrumento para Entidade Objeto Corpuscular e' um patient de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	Entidade e' uma instancia de EngineChoke DeviceOn e' um atributo de Entidade vale durante Processo DeviceOff e' um atributo de Entidade vale durante Processo Objeto auto-conectado e' uma instancia de EngineCylinder capacity Objeto auto-conectado and Quantidade Constante Processo e' uma instancia de FourStrokeCompression Processo e' uma instancia de FourStrokeCompression eventLocated Processo and Objeto auto-conectado eventLocated Processo and Objeto auto-conectado Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX1 Objeto e' uma &parte de Quantidade ConstanteIX1 a medida de Quantidade ConstanteIX1 e' Quantidade Constante Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX2 Objeto e' uma &parte de Quantidade ConstanteIX2 a medida de Quantidade ConstanteIX2 e' Quantidade Constante Unidade de Medida e' uma instancia de Unidade de Medida a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) ObjetoM + ObjetoM e' maior que ObjetoM + ObjetoM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Movimento e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Movimento Objeto e' um instrumento para Processo Objeto e' uma instancia de GasTank Objeto e' uma &parte de Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma &parte de Objeto Movimento tem como origem Objeto Movimento termina em Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem por fim ProcessoF ProcessoF e' uma instancia de FuelFilter betweenOnPath Objeto, ProcessoF, Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Processo e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Processo Objeto e' um instrumento para Processo Objeto tem por fim Entidade Entidade Entidade e' uma instancia de GasTank Entidade e' uma &parte de Objeto Entidade e' uma instancia de EngineCylinder Entidade e' uma &parte de Objeto Processo tem como origem Entidade Processo termina em Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto Entidade e' uma instancia de Fuel Entidade e' uma instancia de UnitOfVolume Objeto contem Entidade a medida de Entidade e' Entidade Entidade(s) EngineFlooded e' um atributo de Objeto vale durante Posicao Temporal Objeto tem por fim Entidade2 Entidade Entidade2 e' uma instancia de Fuel Objeto contem Entidade2 a medida de Entidade2 e' Entidade Entidade(s) Entidade e' maior ou igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1112-1124	Fisico e' uma instancia de FuelAtomizer Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Fuel Entidade e' uma instancia de Spraying Entidade e' uma instancia de Air Entidade e' uma instancia de Combustao Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um recurso para Entidade Entidade e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 922-936	Fisico e' uma instancia de FuelFilter Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Remover Entidade e' uma &parte de Entidade Entidade e' uma instancia de Fuel Entidade e' uma instancia de Fuel Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade e' uma instancia de Solucao Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1041-1049	Fisico e' uma instancia de FuelPump Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transporte Entidade e' uma instancia de Fuel Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 73-78	Objeto e' uma instancia de FuelVapor Objeto Objeto e' uma instancia de Fuel Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	Fisico e' uma instancia de GasPedal Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Pushing Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Fuel Entidade e' uma instancia de Engine Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade termina em Fisico Entidade termina em Entidade Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	Fisico e' uma instancia de GasTank Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Fuel Fisico contem Entidade Entidade e' uma instancia de Engine Entidade e' uma instancia de Transferencia Entidade tem como origem Fisico Entidade termina em Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 992-998	Fisico e' uma instancia de GasTank Fisico tem por fim Entidade Entidade e' uma instancia de Fuel Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 47-55	Fisico e' uma instancia de InternalCombustionEngine Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Fuel Entidade e' uma instancia de Combustao Fisico e' um instrumento para Entidade Entidade e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3826-3842	Fisico e' uma instancia de PositiveCrankcaseVentilationValve Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankcase Entidade e' uma instancia de Fuel Entidade e' uma instancia de CombustionChamber Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade tem como origem Entidade Entidade termina em Entidade objectTransferred Entidade and Entidade Fisico e' o caminho ao longo do qual Entidade ocorre
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1016-1034	Fisico e' uma instancia de FuelCapLock Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de GasTank Entidade e' um buraco dans Entidade Fisico e' conectado com Entidade Locked e' um atributo de Fisico vale durante Entidade diminui a probabilidade de Entidade Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Fuel Entidade e' situado em Entidade Entidade e' um patient de Entidade vale durante Entidade

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