Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HemostaticGauze(hemostatic gauze) |
| appearance as argument number 1 |
|
| (subclass HemostaticGauze Bandage) | Medicine.kif 6119-6119 | Hemostatic gauze is a subclass of bandage |
| (documentation HemostaticGauze EnglishLanguage "A Bandage that contains Medicine designed to stimulate Clotting.") | Medicine.kif 6120-6121 | Hemostatic gauze is a subclass of bandage |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HemostaticGauze "hemostatic gauze") | Medicine.kif 6122-6122 |
| antecedent |
|
|
| (=> (instance ?HG HemostaticGauze) (hasPurpose ?HG (exists (?C) (and (instance ?C Clotting) (instrument ?C ?HG))))) |
Medicine.kif 6124-6130 | If X is an instance of hemostatic gauze, then X has the purpose there exists Y such that Y is an instance of coagulation and X is an instrument for Y |
|