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 15090-15093 | |
(subclass AbnormalAnatomicalStructure AnatomicalStructure) | Merge.kif 15089-15089 | AbnormalAnatomicalStructure は 解剖学的構造 の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(partition AnatomicalStructure BodyPart AbnormalAnatomicalStructure) | Merge.kif 15067-15067 | 解剖学的構造 は 体の部分 + AbnormalAnatomicalStructure に exhaustively partitioned |
antecedent |
![]() |
(=> (instance ?STRUCTURE AbnormalAnatomicalStructure) (exists (?PROC) (and (instance ?PROC PathologicProcess) (result ?PROC ?STRUCTURE)))) |
Merge.kif 15095-15100 |
![]() |
![]() |