Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PressureBandage(pressure bandage) |
| appearance as argument number 1 |
|
| (subclass PressureBandage Bandage) | Medicine.kif 6050-6050 | Pressure bandage is a subclass of bandage |
| (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 6051-6052 | Pressure bandage is a subclass of bandage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PressureBandage "pressure bandage") | Medicine.kif 6053-6053 |
| antecedent |
|
|
| (=> (instance ?PB PressureBandage) (hasPurpose ?PB (exists (?C) (and (instance ?C Compressing) (instrument ?C ?PB))))) |
Medicine.kif 6055-6061 | If X is an instance of pressure bandage, then X has the purpose there exists Y such that Y is an instance of compressing and X is an instrument for Y |
|