Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Engine(engine)
|  | automobile_engine, external-combustion_engine |
| appearance as argument number 1 |
|
|
| (subclass Engine Transducer) | Mid-level-ontology.kif 2252-2252 | Engine is a subclass of transducer |
| (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 2253-2255 | Engine is a subclass of transducer |
| (typicalPart Engine Automobile) | Transportation.kif 2110-2110 | A engine is typically a part of a automobile |
| (typicallyContainsPart Engine Automobile) | Transportation.kif 2111-2111 | A automobile typically has a part engine |
| (externalImage Engine "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Mazda_rotary_engine_early.jpg") | pictureList.kif 86-86 | A automobile typically has a part engine |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain minCylinderVolume 1 Engine) | Cars.kif 1723-1723 | The number 1 argument of min cylinder volume is an instance of engine |
| (domain maxCylinderVolume 1 Engine) | Cars.kif 1754-1754 | The number 1 argument of max cylinder volume is an instance of engine |
| (domain compressionRatio 1 Engine) | Cars.kif 1784-1784 | The number 1 argument of compression ratio is an instance of engine |
| (domain pistonStroke 1 Engine) | Cars.kif 1800-1800 | The number 1 argument of piston stroke is an instance of engine |
| (domain engineCylinders 1 Engine) | Cars.kif 4417-4417 | The number 1 argument of engine cylinders is an instance of engine |
| antecedent |
|
|
| (=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C))))) |
Cars.kif 281-286 | If X is an instance of engine, then there exists Y such that Y is an instance of crankcase, equal X, and the host of the hole Y |
| (=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS))) |
Cars.kif 1546-1554 | If X is an instance of cam, Y is an instance of camshaft, Z is an instance of engine, X is a part of Z, and Y is a part of Z, then Y has the purpose X is connected to Y |
| (=> (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 1604-1620 | If All of the following hold: (1) X is an instance of exhaust (2) X is made of fuel (3) Y is an instance of transfer (4) Z is an instance of engine (5) Y originates at Z (6) W is an instance of catalytic converter (7) Y ends up at W (8) the object transferred in Y is X, then W has the purpose there exists V such that V is an instance of burning, W is an instrument for V, X is a patient of V, and V is located at W |
| (=> (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 1681-1700 | If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device on is an attribute of X, then there doesn't exist T such that T is an instance of motion, W is a patient of T, and U causes T |
| (=> (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 1702-1720 | If All of the following hold: (1) X is an instance of clutch (2) Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of gearbox (5) V is an instance of gear (6) V is a part of W (7) W is a part of Y (8) X is a part of Y (9) Z is a part of Y (10) U is an instance of motion (11) Z is a patient of U (12) device off is an attribute of X, then there exists T such that T is an instance of motion, W is a patient of T, and U causes T |
| (=> (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 1993-2005 | If X is an instance of engine cooling system, Y is an instance of engine, Z is an instance of automobile, X is a part of Z, and Y is a part of Z, then X has the purpose there exists W such that W is an instance of cooling, X is an instrument for W, and Y is a patient of W |
| (=> (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 2768-2786 | If X is an instance of governor, Y is an instance of engine, X is connected to Y, and the maximum speed allowed by Y is Z miles per hour(s), then X has the purpose there don't exist W, V and U such that V is an instance of device and V is a part of Y and W is an instance of rotating and the measure of V is U miles per hour(s) and U is greater than Z holds during the time of existence of W |
| 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 910-920 | If X is an instance of air intake, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) Z is an instance of engine (4) W is an instance of transfer (5) W originates at X (6) W ends up at Z (7) Y is a patient of W |
| (=> (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 937-948 | If X is an instance of gas tank, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of fuel (3) X contains Y (4) W is an instance of engine (5) Z is an instance of transfer (6) Z originates at X (7) Z ends up at W (8) Y is a patient of Z |
| (=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC)))) |
Cars.kif 1293-1301 | If X is an instance of backfire, then there exist Y, Z such that Z is not an instance of engine cylinder, Y is an instance of engine, Z is a part of Y, and X is located at Z |
| (=> (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 2123-2135 | If X is an instance of distributor, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that U is an instance of engine (3) Y is an instance of spark plug (4) Z is an instance of spark (5) W is a part of X (6) X is a part of U (7) Y is a part of U (8) V is an instance of rotating (9) V causes Z |
| (=> (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 2353-2366 | If X is an instance of engine control module, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of process (5) V is an instance of process (6) Z is a part of Y (7) X is a part of Y (8) W is located at X (9) V is located at Z (10) W causes V |
| (=> (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 2374-2389 | If X is an instance of gas pedal, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of pushing (3) Z is an instance of transfer (4) W is an instance of fuel (5) V is an instance of engine (6) U is an instance of automobile (7) X is a part of U (8) V is a part of U (9) Y ends up at X (10) Z ends up at V (11) W is a patient of Z (12) Y causes Z |
| (=> (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 3622-3636 | If X is an instance of remote ignition control, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of powered vehicle (3) W is an instance of electronic signalling (4) X is an instrument for W (5) W ends up at Y (6) Z is an instance of engine (7) Z is a component of Y (8) V is an instance of the operating of engine (9) Z experiences V (10) W causes V |
| (=> (instance ?UD UnpoweredDevice) (not (exists (?E) (and (instance ?E Engine) (part ?E ?UD))))) |
Cars.kif 4377-4383 | If X is an instance of unpowered device, then there doesn't exist Y such that Y is an instance of engine and Y is a part of X |
| (=> (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 4480-4496 | If X is an instance of four wheel drive, then All of the following hold: (1) X has the purpose Y Y is a part of X (2) there exist Z, W,, , V (3) U such that Z is an instance of engine (4) Z is a part of X (5) W is an instance of crankshaft (6) W is a part of Z (7) V is an instance of rotating (8) W is a patient of V (9) U is an instance of rotating (10) Y is a patient of U (11) V causes U |
| (=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?WHEEL1 ?WHEEL2) (and (part ?WHEEL1 ?TWD) (part ?WHEEL2 ?TWD) (not (equal ?WHEEL1 ?WHEEL2)) (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 ?WHEEL1) (causes ?R1 ?R2) (patient ?R3 ?WHEEL2) (causes ?R1 ?R3) (not (exists (?WHEEL3 ?R4) (and (not (equal ?WHEEL1 ?WHEEL3)) (not (equal ?WHEEL2 ?WHEEL3)) (part ?WHEEL3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?WHEEL3) (causes ?R1 ?R4)))))))))) |
Cars.kif 4503-4535 | If X is an instance of four wheel drive, then X has the purpose there exist Y and Z such that Y is a part of X and Z is a part of X and equal Y and Z and there exist W, V,, , U,, , T and S such that W is an instance of engine and W is a part of X and V is an instance of crankshaft and V is a part of W and U is an instance of rotating and V is a patient of U and T is an instance of rotating and Y is a patient of T and U causes T and Z is a patient of S and U causes S and there don't exist R and Q such that equal Y and R and equal Z and R and R is a part of X and Q is an instance of rotating and R is a patient of Q and U causes Q |
| (=> (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 4586-4597 | If X is an instance of vehicle interior, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of automobile (3) Z is an instance of engine (4) Z is a part of Y (5) X is not a part of Z (6) X is a part of Y (7) X is inside the to Y |
|