| Atrophy | |
| appearance as argument number 1 |
|
|
| (documentation Atrophy EnglishLanguage "Any decrease in the size of a BodyPart which is due to disease or lack of use.") | Mid-level-ontology.kif 6442-6443 | |
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 6441-6441 | Atrophy ist eine teilkategorie von Decreasing |
| (subclass Atrophy PathologicProcess) | Mid-level-ontology.kif 6440-6440 | Atrophy ist eine teilkategorie von PathologicProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Atrophy "痿") | domainEnglishFormat.kif 8952-8952 | |
| (termFormat ChineseTraditionalLanguage Atrophy "痿") | domainEnglishFormat.kif 8951-8951 | |
| (termFormat EnglishLanguage Atrophy "atrophy") | domainEnglishFormat.kif 8950-8950 |
| antecedent |
|
|
| (=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 6445-6450 |
|
|
|
|