| Crankcase(crankcase) | | crankcase |
| appearance as argument number 1 |
|
|
| (subclass Crankcase HoleRegion) | Cars.kif 324-324 | Crankcase is a subclass of hole |
| (documentation Crankcase EnglishLanguage "A HoleRegion in an InternalCombustionEngine where the Piston rods join with the Crankshaft.") | Cars.kif 325-326 | Crankcase is a subclass of hole |
| appearance as argument number 2 |
|
|
| (typicalPart Crankshaft Crankcase) | Cars.kif 341-341 | A crankshaft is typically a part of a crankcase |
| (typicallyContainsPart Crankshaft Crankcase) | Cars.kif 342-342 | A crankcase typically has a part crankshaft |
| (termFormat EnglishLanguage Crankcase "crankcase") | domainEnglishFormat.kif 64716-64716 | A crankcase typically has a part crankshaft |
| antecedent |
|
|
| (=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum))) |
Cars.kif 477-483 | If X is an instance of two stroke intake, Y is an instance of crankcase, and X is partly located at Y, then partial vacuum is an attribute of Y holds during X |
| (=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C)))) |
Cars.kif 509-521 | If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
| consequent |
|
|
| (=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C))))) |
Cars.kif 328-333 | 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 |
| (=> (instance ?PCVV PositiveCrankcaseVentilationValve) (hasPurpose ?PCVV (exists (?CR ?F ?CC ?T ?A) (and (instance ?CR Crankcase) (instance ?F Fuel) (instance ?CC CombustionChamber) (instance ?T Transfer) (instance ?A Automobile) (part ?CR ?A) (part ?CC ?A) (part ?PCVV ?A) (origin ?T ?CR) (destination ?T ?CC) (objectTransferred ?T ?F) (path ?T ?PCVV))))) |
Cars.kif 3896-3912 | If X is an instance of positive crankcase ventilation valve, 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 crankcase (3) Z is an instance of fuel (4) W is an instance of combustion chamber (5) V is an instance of transfer (6) U is an instance of automobile (7) Y is a part of U (8) W is a part of U (9) X is a part of U (10) V originates at Y (11) V ends up at W (12) the object transferred in V is Z (13) X is path along which V occurs |
|
|
|