| 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 | Crankcase est une sous-classe de trou |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crankcase "crankcase") | domainEnglishFormat.kif 64736-64736 | |
| (typicalPart Crankshaft Crankcase) | Cars.kif 341-341 | typicalPart Crankshaft and Crankcase |
| (typicallyContainsPart Crankshaft Crankcase) | Cars.kif 342-342 | typicallyContainsPart Crankshaft and Crankcase |
| 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 |
|
|
|
|
|