Engine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Engine

Engine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1718-1720
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 86-86
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1717-1717	Engine e' uma sub-classe de Transducer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1772-1772	ElectricMotor e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1753-1753	InternalCombustionEngine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4321-4321	OutboardEngine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1741-1741	SteamEngine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1745-1745	Turbine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22078-22078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22077-22077
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22076-22076

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1903-1903	O argumento numero 1 de compressionRatio e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4510-4510	O argumento numero 1 de engineCylinders e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1873-1873	O argumento numero 1 de maxCylinderVolume e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1842-1842	O argumento numero 1 de minCylinderVolume e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1919-1919	O argumento numero 1 de pistonStroke e' uma instancia de Engine

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1666-1674	Objeto e' uma instancia de Cam ObjetoS e' uma instancia de Camshaft Objeto e' uma instancia de Engine Objeto e' uma &parte de Objeto ObjetoS e' uma &parte de Objeto ObjetoS tem por fim Objeto e' conectado a ObjetoS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1821-1839	Objeto e' uma instancia de Clutch Objeto e' uma instancia de Automobile Objeto e' uma instancia de Engine Objeto e' uma instancia de Gearbox ObjetoEAR e' uma instancia de Gear ObjetoEAR e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo DeviceOff e' um atributo de Objeto Processo2 Processo2 e' uma instancia de Movimento Objeto e' um patient de Processo2 Processo causa Processo2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1800-1819	Objeto e' uma instancia de Clutch Objeto e' uma instancia de Automobile Objeto e' uma instancia de Engine Objeto e' uma instancia de Gearbox ObjetoEAR e' uma instancia de Gear ObjetoEAR e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo DeviceOn e' um atributo de Objeto Processo2 Processo2 e' uma instancia de Movimento Objeto e' um patient de Processo2 Processo causa Processo2
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 2125-2137	Objeto e' uma instancia de EngineCoolingSystem Objeto e' uma instancia de Engine Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Resfriar Objeto e' um instrumento para Entidade Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2913-2931	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Engine Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aparelho Entidade e' uma &parte de Componente de Engenharia Entidade e' uma instancia de Rotating a medida de Entidade e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 328-333	Objeto e' uma instancia de Engine Buraco Buraco e' uma instancia de Crankcase Objeto e' igual a o dono do buraco Buraco

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	Fisico e' uma instancia de AirIntake Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Air 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 1354-1362	Processo e' uma instancia de Backfire Objeto Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma instancia de Engine Objeto e' uma &parte de Objeto eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2257-2269	Fisico e' uma instancia de Distributor Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma instancia de SparkPlug Entidade e' uma instancia de Spark Entidade e' uma &parte de Fisico Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2502-2515	Fisico e' uma instancia de EngineControlModule Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma instancia de Processo Entidade e' uma instancia de Processo Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade eventLocated Entidade and Fisico eventLocated Entidade and Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4573-4589	Fisico e' uma instancia de FourWheelDriveVehicle Fisico tem por fim Entidade Entidade e' uma &parte de Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2523-2538	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 4679-4690	Fisico e' uma instancia de InteriorVehicleEquipment Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' Inside em relacao a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4628	Fisico e' uma instancia de TwoWheelDriveVehicle Fisico tem por fim Entidade Entidade Entidade e' uma &parte de Fisico Entidade e' uma &parte de Fisico Entidade e' igual a Entidade Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' uma &parte de Fisico Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4470-4476	Objeto e' uma instancia de UnpoweredDevice Objeto Objeto e' uma instancia de Engine Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3740-3754	Fisico e' uma instancia de RemoteIgnitionControl Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de PoweredVehicle Entidade e' uma instancia de ElectronicSignalling Fisico e' um instrumento para Entidade Entidade termina em Entidade Entidade e' uma instancia de Engine Entidade e' um componente de Entidade Entidade e' uma instancia de OperatingFn Engine Entidade experimenta Entidade Entidade causa 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