![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
AbnormalAnatomicalStructure
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 15245-15245 | Abnormal anatomical structure is a subclass of anatomical structure |
| (documentation AbnormalAnatomicalStructure EnglishLanguage "Any AnatomicalStructure which is not normally found in the Organism of which it is a part, i.e. it is the result of a PathologicProcess. This class covers tumors, birth marks, goiters, etc.") | Merge.kif 15246-15249 | Abnormal anatomical structure is a subclass of anatomical structure |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) | Merge.kif 15223-15223 | Anatomical structure is exhaustively partitioned into body part and abnormal anatomical structure |
| antecedent |
|
|
| (=> (instance ?STRUCTURE AbnormalAnatomicalStructure) (exists (?PROC) (and (instance ?PROC PathologicProcess) (result ?PROC ?STRUCTURE)))) |
Merge.kif 15251-15256 | If X is an instance of abnormal anatomical structure, then there exists Y such that Y is an instance of pathologic process and X is a result of Y |