Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Sunburn(sunburn) |
| appearance as argument number 1 |
|
| (subclass Sunburn OrganOrTissueProcess) | Mid-level-ontology.kif 12490-12490 | Sunburn is a subclass of organ or tissue process |
| (documentation Sunburn EnglishLanguage "A Damaging of the Skin due to excessive exposure to the sun (Sol).") | Mid-level-ontology.kif 12491-12492 | Sunburn is a subclass of organ or tissue process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sunburn "sunburn") | Mid-level-ontology.kif 12493-12493 |
| antecedent |
|
|
| (=> (and (instance ?S Sunburn) (experiencer ?S ?H)) (exists (?D ?SKIN) (and (instance ?D Damaging) (instrument ?D Sol) (instance ?SKIN Skin) (part ?SKIN ?H) (patient ?D ?SKIN)))) |
Mid-level-ontology.kif 12495-12505 | If X is an instance of sunburn and Y experiences X, then there exist Z, W such that Z is an instance of damaging, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z |
|