![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Scar(scar) | cicatrice, cicatrix, pockmark, scar |
| appearance as argument number 1 |
|
|
| (subclass Scar AbnormalAnatomicalStructure) | Mid-level-ontology.kif 10896-10896 | Scar is a subclass of abnormal anatomical structure |
| (documentation Scar EnglishLanguage "Any AbnormalAnatomicalStructure which results from the healing of a Lesion.") | Mid-level-ontology.kif 10897-10898 | Scar is a subclass of abnormal anatomical structure |
| (externalImage Scar "http://upload.wikimedia.org/wikipedia/commons/2/22/ Keloid.JPG") | pictureList.kif 6840-6840 | Scar is a subclass of abnormal anatomical structure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?S Scar) (exists (?T ?OP ?L) (and (temporalPart ?T (PastFn (WhenFn ?S))) (holdsDuring ?T (instance ?L Lesion)) (instance ?OP OrganOrTissueProcess) (patient ?OP ?L) (result ?OP ?S)))) |
Mid-level-ontology.kif 10900-10910 | If X is an instance of scar, then there exist Y, Z, W such that Y is a part of before the time of existence of X, W is an instance of lesion holds during Y, Z is an instance of organ or tissue process, W is a patient of Z, and X is a result of Z |