| 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 7399-7400 | |
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 7398-7398 | |
| (subclass Atrophy PathologicProcess) | Mid-level-ontology.kif 7397-7397 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Atrophy "痿") | domainEnglishFormat.kif 8959-8959 | |
| (termFormat ChineseTraditionalLanguage Atrophy "痿") | domainEnglishFormat.kif 8958-8958 | |
| (termFormat EnglishLanguage Atrophy "atrophy") | domainEnglishFormat.kif 8957-8957 |
| antecedent |
|
|
| (=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 7402-7407 |
|
|
|