|
|
   Crankcase
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Crankcase EnglishLanguage "A HoleRegion in an InternalCombustionEngine where the Piston rods join with the Crankshaft.") | Cars.kif 325-326 | |
| (subclass Crankcase HoleRegion) | Cars.kif 324-324 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crankcase "crankcase") | domainEnglishFormat.kif 64715-64715 | |
| (typicalPart Crankshaft Crankcase) | Cars.kif 341-341 | |
| (typicallyContainsPart Crankshaft Crankcase) | Cars.kif 342-342 |
| antecedent |
|
|
| (=> (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 | |
| (=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum))) |
Cars.kif 477-483 |
| consequent |
|
|
| (=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C))))) |
Cars.kif 328-333 | |
| (=> (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 3803-3819 |
|
|
|