Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crankcase
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Crankcase HoleRegion) | Cars.kif 277-277 | Crankcase is a subclass of hole |
| (documentation Crankcase EnglishLanguage "A HoleRegion in an InternalCombustionEngine where the Piston rods join with the Crankshaft.") | Cars.kif 278-279 | Crankcase is a subclass of hole |
| appearance as argument number 2 |
|
|
| (typicalPart Crankshaft Crankcase) | Cars.kif 294-294 | A crankshaft is typically a part of a crankcase |
| (typicallyContainsPart Crankshaft Crankcase) | Cars.kif 295-295 | 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 430-436 | 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 462-474 | 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 281-286 | 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 3687-3703 | 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 |
|