Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BleedingAir(bleeding air) |
| appearance as argument number 1 |
|
| (subclass BleedingAir LiquidMotion) | Cars.kif 1386-1386 | Bleeding air is a subclass of liquid motion |
| (subclass BleedingAir Removing) | Cars.kif 1387-1387 | Bleeding air is a subclass of removing |
| (documentation BleedingAir EnglishLanguage "The process of removing fluid under pressure to locate and remove pockets of Air. This is done typically in hydraulic applications since air is compressible, and therefore undesirable in a hydraulic line.") | Cars.kif 1389-1391 | Bleeding air is a subclass of removing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BleedingAir "bleeding air") | Cars.kif 1388-1388 |
| antecedent |
|
|
| (=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn (WhenFn ?BA)) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?BA)) (not (contains ?FC ?A))))))) |
Cars.kif 1393-1407 | If X is an instance of bleeding air, then X has the purpose there exist Y, Z such that Y is an instance of fluid container, Z is an instance of air, Y contains Z holds during immediately before the time of existence of X, and Y doesn't contain Z holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (instance ?BV BleederValve) (hasPurpose ?BV (exists (?B) (and (instance ?B BleedingAir) (instrument ?B ?BV))))) |
Cars.kif 1435-1441 | If X is an instance of bleeder valve, then X has the purpose there exists Y such that Y is an instance of bleeding air and X is an instrument for Y |
|