| Atrophy(atrophy) | | atrophy, kraurosis, wasting, wasting_away, withering |
| 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 6415-6416 | |
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 6414-6414 | Atrophy is a subclass of decreasing |
| (subclass Atrophy PathologicProcess) | Mid-level-ontology.kif 6413-6413 | Atrophy is a subclass of pathologic process |
| 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 6418-6423 |
|
|
|
|