| Crankcase | |
| appearance as argument number 1 |
|
|
| (documentation Crankcase EnglishLanguage "A Hole in an InternalCombustionEngine where the Piston rods join with the Crankshaft.") | Cars.kif 325-326 | |
| (subclass Crankcase Hole) | Cars.kif 324-324 | Crankcase 是 洞 的 subclass |
| appearance as argument number 2 |
|
|
| (typicalPart Crankshaft Crankcase) | Cars.kif 341-341 | Crankshaft typically 是 Crankcase 的 part |
| (typicallyContainsPart Crankshaft Crankcase) | Cars.kif 342-342 | Crankcase typically 有 part Crankshaft |
| 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 3821-3837 |
|
|
|
|