Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GramStainAttribute(Gram stain) |
| appearance as argument number 1 |
|
| (subclass GramStainAttribute RelationalAttribute) | Medicine.kif 5403-5403 | Gram stain is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?G GramStaining) (agent ?G ?H) (patient ?G ?B)) (hasPurpose ?G (knows ?H (exists (?S) (and (instance ?S GramStainAttribute) (attribute ?B ?S)))))) |
Medicine.kif 5391-5401 | If X is an instance of Gram stain, Y is an agent of X, and Z is a patient of X, then X has the purpose Y knows there exists W such that W is an instance of Gram stain and W is an attribute of Z |
|