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 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 est une sous-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 est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1760-1760	InternalCombustionEngine est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4344-4344	OutboardEngine est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1748-1748	SteamEngine est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1752-1752	Turbine est une sous-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	Le nombre 1 argument de compressionRatio est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4533-4533	Le nombre 1 argument de engineCylinders est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1896-1896	Le nombre 1 argument de maxCylinderVolume est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1865-1865	Le nombre 1 argument de minCylinderVolume est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1942-1942	Le nombre 1 argument de pistonStroke est une instance de Engine

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1666-1674	Objet est une instance de Cam objetS est une instance de Camshaft objet est une instance de Engine objet est une partie de objet objetS est une partie de objet objetS a pour but objet est connect� � objetS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1844-1862	Objet est une instance de Clutch objet est une instance de Automobile objet est une instance de Engine objet est une instance de Gearbox objetEAR est une instance de Gear objetEAR est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus DeviceOff est un attribut de objet processus2 processus2 est une instance de d�palcement objet est un patient de processus2 processus cause processus2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1823-1842	Objet est une instance de Clutch objet est une instance de Automobile objet est une instance de Engine objet est une instance de Gearbox objetEAR est une instance de Gear objetEAR est une partie de objet objet est une partie de objet objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus DeviceOn est un attribut de objet processus2 processus2 est une instance de d�palcement objet est un patient de processus2 processus cause processus2
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 2148-2160	Objet est une instance de EngineCoolingSystem objet est une instance de Engine objet est une instance de Automobile objet est une partie de objet objet est une partie de objet objet a pour but entit� entit� est une instance de refroidir objet est un instrument pour entit� objet est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Engine composant d'un appareil est connect� � composant d'un appareil governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� and entit� entit� est une instance de appareil entit� est une partie de composant d'un appareil entit� est une instance de Rotating la mesure de entit� est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 328-333	Objet est une instance de Engine trou trou est une instance de Crankcase objet est h�te du trou trou

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	Physique est une instance de AirIntake physique a pour but entit� entit� and entit� entit� est une instance de Air entit� est une instance de Engine entit� est une instance de transf�re entit� a pour origine physique entit� aboutit � entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1354-1362	Processus est une instance de Backfire objet objet objet est une instance de EngineCylinder objet est une instance de Engine objet est une partie de objet eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2280-2292	Physique est une instance de Distributor physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Engine entit� est une instance de SparkPlug entit� est une instance de Spark entit� est une partie de physique physique est une partie de entit� entit� est une partie de entit� entit� est une instance de Rotating entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2525-2538	Physique est une instance de EngineControlModule physique a pour but entit� entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de Engine entit� est une instance de processus entit� est une instance de processus entit� est une partie de entit� physique est une partie de entit� eventLocated entit� and physique eventLocated entit� and entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4612	Physique est une instance de FourWheelDriveVehicle physique a pour but entit� entit� est une partie de physique entit� entit�, entit� and entit� entit� est une instance de Engine entit� est une partie de physique entit� est une instance de Crankshaft entit� est une partie de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	Physique est une instance de GasPedal physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Pushing entit� est une instance de transf�re entit� est une instance de Fuel entit� est une instance de Engine entit� est une instance de Automobile physique est une partie de entit� entit� est une partie de entit� entit� aboutit � physique entit� aboutit � entit� entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1000-1011	Physique est une instance de GasTank physique a pour but entit� entit� and entit� entit� est une instance de Fuel physique contient entit� entit� est une instance de Engine entit� est une instance de transf�re entit� a pour origine physique entit� aboutit � entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4702-4713	Physique est une instance de InteriorVehicleEquipment physique a pour but entit� entit� entit� est une instance de Automobile entit� est une instance de Engine entit� est une partie de entit� physique est une partie de entit� physique est une partie de entit� physique est Inside � entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4619-4651	Physique est une instance de TwoWheelDriveVehicle physique a pour but entit� entit� entit� est une partie de physique entit� est une partie de physique entit� est entit� entit� entit�, entit�, entit� and entit� entit� est une instance de Engine entit� est une partie de physique entit� est une instance de Crankshaft entit� est une partie de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� cause entit� entit� est un patient de entit� entit� cause entit� entit� entit� entit� est entit� entit� est entit� entit� est une partie de physique entit� est une instance de Rotating entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4493-4499	Objet est une instance de UnpoweredDevice objet objet est une instance de Engine objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3763-3777	Physique est une instance de RemoteIgnitionControl physique a pour but entit� entit�, entit� and entit� entit� est une instance de PoweredVehicle entit� est une instance de ElectronicSignalling physique est un instrument pour entit� entit� aboutit � entit� entit� est une instance de Engine entit� est un composant de entit� entit� est une instance de OperatingFn Engine entit� exp�rimente entit� entit� cause entit�

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