|
|
   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 è una sottoclasse di apertura |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Crankcase "crankcase") | domainEnglishFormat.kif 64715-64715 | |
| (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 |
|
|
|
|
|