| 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 6437-6438 | |
| (subclass Atrophy Decreasing) | Mid-level-ontology.kif 6436-6436 | |
| (subclass Atrophy PathologicProcess) | Mid-level-ontology.kif 6435-6435 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Atrophy "痿") | domainEnglishFormat.kif 8955-8955 | |
| (termFormat ChineseTraditionalLanguage Atrophy "痿") | domainEnglishFormat.kif 8954-8954 | |
| (termFormat EnglishLanguage Atrophy "atrophy") | domainEnglishFormat.kif 8953-8953 |
| antecedent |
|
|
| (=> (instance ?A Atrophy) (exists (?B) (and (experiencer ?A ?B) (instance ?B BodyPart)))) |
Mid-level-ontology.kif 6440-6445 |
|
|
|