|
|
   PressureBandage
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PressureBandage EnglishLanguage "A tight-fitting or tightly-wrapped bandage for reducing swelling or blood loss from a wound by applying pressure to the injury.[from Wiktionary]") | Medicine.kif 6020-6021 | |
| (subclass PressureBandage Bandage) | Medicine.kif 6019-6019 | Pressure bandage is a subclass of bandage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PressureBandage "pressure bandage") | Medicine.kif 6022-6022 |
| antecedent |
|
|
| (=> (instance ?PB PressureBandage) (hasPurpose ?PB (exists (?C) (and (instance ?C Compressing) (instrument ?C ?PB))))) |
Medicine.kif 6024-6030 |
|
|
|
|