Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Peeling(peeling) |  | desquamation, flay, pare, peel, peeling, shedding, skin |
| appearance as argument number 1 |
|
|
| (subclass Peeling Removing) | Mid-level-ontology.kif 13316-13316 | Peeling is a subclass of removing |
| (documentation Peeling EnglishLanguage "Removing the Skin (or part of the Skin) from an Organism. Note that this class covers a large range of cases, including peeling an orange, pelting an Animal, etc.") | Mid-level-ontology.kif 13317-13319 | Peeling is a subclass of removing |
| appearance as argument number 2 |
|
|
| (subclass Hulling Peeling) | Food.kif 168-168 | Hulling is a subclass of peeling |
| (termFormat EnglishLanguage Peeling "peeling") | domainEnglishFormat.kif 44963-44963 | Hulling is a subclass of peeling |
| (termFormat ChineseTraditionalLanguage Peeling "去皮") | domainEnglishFormat.kif 44964-44964 | Hulling is a subclass of peeling |
| (termFormat ChineseLanguage Peeling "去皮") | domainEnglishFormat.kif 44965-44965 | Hulling is a subclass of peeling |
| antecedent |
|
|
| (=> (and (instance ?P Peeling) (patient ?P ?O)) (exists (?S) (and (instance ?S Skin) (part ?O ?S)))) |
Mid-level-ontology.kif 13321-13328 | If X is an instance of peeling and Y is a patient of X, then there exists Z such that Z is an instance of skin and Y is a part of Z |
|