| ChangingClothing(changing clothing) | | change |
| appearance as argument number 1 |
|
|
| (documentation ChangingClothing EnglishLanguage "Any instance of a process of RemovingClothing and Dressing.") | Mid-level-ontology.kif 6070-6071 | |
| (subclass ChangingClothing Transfer) | Mid-level-ontology.kif 6069-6069 | Changing clothing is a subclass of transfer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChangingClothing "换衣服") | domainEnglishFormat.kif 14145-14145 | |
| (termFormat ChineseTraditionalLanguage ChangingClothing "換衣服") | domainEnglishFormat.kif 14144-14144 | |
| (termFormat EnglishLanguage ChangingClothing "changing clothing") | domainEnglishFormat.kif 14143-14143 |
| antecedent |
|
|
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 6073-6080 |
|
| consequent |
|
|
| (=> (instance ?R DressingRoom) (hasPurpose ?R (exists (?C) (and (instance ?C ChangingClothing) (eventLocated ?C ?R))))) |
Mid-level-ontology.kif 16448-16454 |
|
|
|
|