|
|
   BleedingAir
|
|
|
| appearance as argument number 1 |
|
|
| (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 1515-1517 | |
| (subclass BleedingAir LiquidMotion) | Cars.kif 1512-1512 | BleedingAir e' uma sub-classe de LiquidMotion |
| (subclass BleedingAir Removing) | Cars.kif 1513-1513 | BleedingAir e' uma sub-classe de Remover |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BleedingAir "bleeding air") | Cars.kif 1514-1514 |
| antecedent |
|
|
| (=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn ?BA) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn ?BA) (not (contains ?FC ?A))))))) |
Cars.kif 1519-1529 |
| consequent |
|
|
| (=> (instance ?BV BleederValve) (hasPurpose ?BV (exists (?B) (and (instance ?B BleedingAir) (instrument ?B ?BV))))) |
Cars.kif 1556-1562 |
|
|
|
|