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

(documentation Engine EnglishLanguage "Engine is a subclass of Transducer. Engines are devices for converting some form of energy resource into mechanical power.")	Mid-level-ontology.kif 1725-1727
(externalImage Engine "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Mazda_rotary_engine_early.jpg")	pictureList.kif 86-86
(subclass Engine Transducer)	Mid-level-ontology.kif 1724-1724	Engine ist eine teilkategorie von Transducer

appearance as argument number 2

(subclass ElectricMotor Engine)	Mid-level-ontology.kif 1779-1779	ElectricMotor ist eine teilkategorie von Engine
(subclass InternalCombustionEngine Engine)	Mid-level-ontology.kif 1760-1760	InternalCombustionEngine ist eine teilkategorie von Engine
(subclass OutboardEngine Engine)	Cars.kif 4344-4344	OutboardEngine ist eine teilkategorie von Engine
(subclass SteamEngine Engine)	Mid-level-ontology.kif 1748-1748	SteamEngine ist eine teilkategorie von Engine
(subclass Turbine Engine)	Mid-level-ontology.kif 1752-1752	Turbine ist eine teilkategorie von Engine
(termFormat ChineseLanguage Engine "发动机")	domainEnglishFormat.kif 22078-22078
(termFormat ChineseTraditionalLanguage Engine "發動機")	domainEnglishFormat.kif 22077-22077
(termFormat EnglishLanguage Engine "engine")	domainEnglishFormat.kif 22076-22076

appearance as argument number 3

(domain compressionRatio 1 Engine)	Cars.kif 1926-1926	Die Zahl 1 Argument von compressionRatio ist ein fall von Engine %n{nicht}
(domain engineCylinders 1 Engine)	Cars.kif 4533-4533	Die Zahl 1 Argument von engineCylinders ist ein fall von Engine %n{nicht}
(domain maxCylinderVolume 1 Engine)	Cars.kif 1896-1896	Die Zahl 1 Argument von maxCylinderVolume ist ein fall von Engine %n{nicht}
(domain minCylinderVolume 1 Engine)	Cars.kif 1865-1865	Die Zahl 1 Argument von minCylinderVolume ist ein fall von Engine %n{nicht}
(domain pistonStroke 1 Engine)	Cars.kif 1942-1942	Die Zahl 1 Argument von pistonStroke ist ein fall von Engine %n{nicht}

antecedent

(=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS)))	Cars.kif 1666-1674	Wenn Object ist ein fall von Cam %n{nicht} und ObjectS ist ein fall von Camshaft %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein teil von Object %n{nicht} und ObjectS ist ein teil von Object %n{nicht}, dann ObjectS hat Zweck von Object wird mit ** ObjectS angeschlossen %n{nicht}
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))	Cars.kif 1844-1862	Wenn Object ist ein fall von Clutch %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Gearbox %n{nicht} und ObjectEAR ist ein fall von Gear %n{nicht} und ObjectEAR ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht} und DeviceOff ist ein attribut von Object %n{nicht}, dann es gibt Process2 um Process2 ist ein fall von Motion %n{nicht} und Object ist ein patient von Process2 %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))))	Cars.kif 1823-1842	Wenn Object ist ein fall von Clutch %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Gearbox %n{nicht} und ObjectEAR ist ein fall von Gear %n{nicht} und ObjectEAR ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Process ist ein fall von Motion %n{nicht} und Object ist ein patient von Process %n{nicht} und DeviceOn ist ein attribut von Object %n{nicht}, dann es gibt nicht Process2 um Process2 ist ein fall von Motion %n{nicht} und Object ist ein patient von Process2 %n{nicht} und Process verursacht ** Process2 %n{nicht}
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1723-1739	Wenn CorpuscularObject ist ein fall von Exhaust %n{nicht} und Fuel ist von CorpuscularObject gebildet und Transfer ist ein fall von Transfer %n{nicht} und CorpuscularObjectNG ist ein fall von Engine %n{nicht} und Transfer beginnet an CorpuscularObjectNG %n{nicht} und Physical ist ein fall von CatalyticConverter %n{nicht} und Transfer endet an Physical %n{nicht} und objectTransferred Transfer and CorpuscularObject, dann Physical hat Zweck von es gibt entity um entity ist ein fall von Combustion %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und CorpuscularObject ist ein patient von entity %n{nicht} und eventLocated entity and Physical %n{nicht}
(=> (and (instance ?ECS EngineCoolingSystem) (instance ?E Engine) (instance ?A Automobile) (part ?ECS ?A) (part ?E ?A)) (hasPurpose ?ECS (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ECS) (patient ?C ?E)))))	Cars.kif 2148-2160	Wenn Object ist ein fall von EngineCoolingSystem %n{nicht} und Object ist ein fall von Engine %n{nicht} und Object ist ein fall von Automobile %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von Cooling %n{nicht} und Object ist ein instrument fuer entity %n{nicht} und Object ist ein patient von entity %n{nicht} %n{nicht}
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2936-2954	Wenn EngineeringComponent ist ein fall von EngineGovernor %n{nicht} und EngineeringComponent ist ein fall von Engine %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen und governorSpeed EngineeringComponent and RealNumber MilesPerHour(s), dann EngineeringComponent hat Zweck von es gibt nicht entity, entity, and und entity um entity ist ein fall von Device %n{nicht} und entity ist ein teil von EngineeringComponent %n{nicht} und entity ist ein fall von Rotating %n{nicht} und das mass von entity ist entity MilesPerHour(s) %n{nicht} und entity ist groesserAls RealNumber %n{nicht} haelt waehrend die zeit des Bestehens von entity %n{nicht} %n{nicht}
(=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C)))))	Cars.kif 328-333	Wenn Object ist ein fall von Engine %n{nicht}, dann es gibt HoleRegion um HoleRegion ist ein fall von Crankcase %n{nicht} und Object ist gleich HoleHostFn ** HoleRegion %n{nicht}

consequent

(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A)))))	Cars.kif 973-983	Wenn Physical ist ein fall von AirIntake %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Air %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity beginnet an Physical %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC))))	Cars.kif 1354-1362	Wenn Process ist ein fall von Backfire %n{nicht}, dann es gibt Object und Object um Object ist ein fall von EngineCylinder nicht und Object ist ein fall von Engine %n{nicht} und Object ist ein teil von Object %n{nicht} und eventLocated Process and Object
(=> (instance ?D Distributor) (hasPurpose ?D (exists (?SP ?S ?O ?R ?E) (and (instance ?E Engine) (instance ?SP SparkPlug) (instance ?S Spark) (part ?O ?D) (part ?D ?E) (part ?SP ?E) (instance ?R Rotating) (causes ?R ?S)))))	Cars.kif 2280-2292	Wenn Physical ist ein fall von Distributor %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Engine %n{nicht} und entity ist ein fall von SparkPlug %n{nicht} und entity ist ein fall von Spark %n{nicht} und entity ist ein teil von Physical %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Rotating %n{nicht} und entity verursacht ** entity %n{nicht} %n{nicht}
(=> (instance ?ECM EngineControlModule) (hasPurpose ?ECM (exists (?A ?E ?P1 ?P2) (and (instance ?A Automobile) (instance ?E Engine) (instance ?P1 Process) (instance ?P2 Process) (part ?E ?A) (part ?ECM ?A) (eventLocated ?P1 ?ECM) (eventLocated ?P2 ?E) (causes ?P1 ?P2)))))	Cars.kif 2525-2538	Wenn Physical ist ein fall von EngineControlModule %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Automobile %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein fall von Process %n{nicht} und entity ist ein teil von entity %n{nicht} und Physical ist ein teil von entity %n{nicht} und eventLocated entity and Physical und eventLocated entity and entity und entity verursacht ** entity %n{nicht} %n{nicht}
(=> (instance ?FWD FourWheelDriveVehicle) (hasPurpose ?FWD (forall (?W) (and (part ?W ?FWD) (exists (?E ?C ?R1 ?R2) (and (instance ?E Engine) (part ?E ?FWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W) (causes ?R1 ?R2)))))))	Cars.kif 4596-4612	Wenn Physical ist ein fall von FourWheelDriveVehicle %n{nicht}, dann Physical hat Zweck von fuer alle entity entity ist ein teil von Physical %n{nicht} und es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Engine %n{nicht} und entity ist ein teil von Physical %n{nicht} und entity ist ein fall von Crankshaft %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Rotating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Rotating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht ** entity %n{nicht} %n{nicht}
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T)))))	Cars.kif 2546-2561	Wenn Physical ist ein fall von GasPedal %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Pushing %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity ist ein fall von Fuel %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Automobile %n{nicht} und Physical ist ein teil von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity endet an Physical %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht entity %n{nicht} %n{nicht}
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F)))))	Cars.kif 1000-1011	Wenn Physical ist ein fall von GasTank %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von Fuel %n{nicht} und contains Physical and entity und entity ist ein fall von Engine %n{nicht} und entity ist ein fall von Transfer %n{nicht} und entity beginnet an Physical %n{nicht} und entity endet an entity %n{nicht} und entity ist ein patient von entity %n{nicht} %n{nicht}
(=> (instance ?IVE InteriorVehicleEquipment) (hasPurpose ?IVE (exists (?V ?E) (and (instance ?V Automobile) (instance ?E Engine) (part ?E ?V) (not (part ?IVE ?E)) (part ?IVE ?V) (orientation ?IVE ?V Inside)))))	Cars.kif 4702-4713	Wenn Physical ist ein fall von InteriorVehicleEquipment %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Automobile %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein teil von entity %n{nicht} und Physical ist ein teil von entity nicht und Physical ist ein teil von entity %n{nicht} und Physical ist Inside hinsichlich ** entity %n{nicht} %n{nicht}
(=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?W1 ?W2) (and (part ?W1 ?TWD) (part ?W2 ?TWD) (not (equal ?W1 ?W2)) (exists (?E ?C ?R1 ?R2 ?R3) (and (instance ?E Engine) (part ?E ?TWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W1) (causes ?R1 ?R2) (patient ?R3 ?W2) (causes ?R1 ?R3) (not (exists (?W3 ?R4) (and (not (equal ?W1 ?W3)) (not (equal ?W2 ?W3)) (part ?W3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?W3) (causes ?R1 ?R4))))))))))	Cars.kif 4619-4651	Wenn Physical ist ein fall von TwoWheelDriveVehicle %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein teil von Physical %n{nicht} und entity ist ein teil von Physical %n{nicht} und entity ist gleich entity nicht und es gibt entity, entity,, , entity,, , entity, and und entity um entity ist ein fall von Engine %n{nicht} und entity ist ein teil von Physical %n{nicht} und entity ist ein fall von Crankshaft %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein fall von Rotating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity ist ein fall von Rotating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht entity %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht entity %n{nicht} und es gibt nicht entity und entity um entity ist gleich entity nicht und entity ist gleich entity nicht und entity ist ein teil von Physical %n{nicht} und entity ist ein fall von Rotating %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht ** entity %n{nicht} %n{nicht}
(=> (instance ?UD UnpoweredDevice) (not (exists (?E) (and (instance ?E Engine) (part ?E ?UD)))))	Cars.kif 4493-4499	Wenn Object ist ein fall von UnpoweredDevice %n{nicht}, dann es gibt nicht Object um Object ist ein fall von Engine %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC)))))	Cars.kif 3763-3777	Wenn Physical ist ein fall von RemoteIgnitionControl %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von PoweredVehicle %n{nicht} und entity ist ein fall von ElectronicSignalling %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity endet an entity %n{nicht} und entity ist ein fall von Engine %n{nicht} und entity ist ein bestandteil von entity %n{nicht} und entity ist ein fall von OperatingFn Engine %n{nicht} und entity erfaehrt entity %n{nicht} und entity verursacht entity %n{nicht} %n{nicht}

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