TreeView Knowledge Base Browser - Engine

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 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 1772-1772	ElectricMotor est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1753-1753	InternalCombustionEngine est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4321-4321	OutboardEngine est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1741-1741	SteamEngine est une sous-classe de Engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1745-1745	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 1903-1903	Le nombre 1 argument de compressionRatio est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4510-4510	Le nombre 1 argument de engineCylinders est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1873-1873	Le nombre 1 argument de maxCylinderVolume est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1842-1842	Le nombre 1 argument de minCylinderVolume est une instance de Engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1919-1919	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 1821-1839	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 1800-1819	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 2125-2137	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 2913-2931	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 2257-2269	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 2502-2515	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 4573-4589	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 2523-2538	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 4679-4690	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 4596-4628	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 4470-4476	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 3740-3754	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 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