TreeView Knowledge Base Browser - Engine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

serviceProvider

Sigma KEE - Engine

Engine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1725-1727
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 1724-1724	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 1779-1779	ElectricMotor e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1760-1760	InternalCombustionEngine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4344-4344	OutboardEngine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1748-1748	SteamEngine e' uma sub-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1752-1752	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 1926-1926	O argumento numero 1 de compressionRatio e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4533-4533	O argumento numero 1 de engineCylinders e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1896-1896	O argumento numero 1 de maxCylinderVolume e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1865-1865	O argumento numero 1 de minCylinderVolume e' uma instancia de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1942-1942	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 1844-1862	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 1823-1842	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 2148-2160	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 2936-2954	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 2280-2292	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 2525-2538	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 4596-4612	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 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 4702-4713	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 4619-4651	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 4493-4499	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 3763-3777	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 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