|
|
AbnormalAnatomicalStructure
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AbnormalAnatomicalStructure ChineseLanguage "这是通常不会出现在 Organism, 但却是它们一部分的任何 AnatomicalStructure,也就述说这是一种 PathologicProcess。这个类别包含 肿瘤,胎记,甲状腺肿大等。") | chinese_format.kif 3490-3492 | |
| (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 15112-15115 | |
| (subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 15111-15111 | 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 15089-15089 | 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 15117-15122 |
|
|
|