|
|
   ChangingClothing
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChangingClothing EnglishLanguage "Any instance of a process of RemovingClothing and Dressing.") | Mid-level-ontology.kif 5521-5522 | |
| (subclass ChangingClothing Transfer) | Mid-level-ontology.kif 5520-5520 | 换衣服 是 转移 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChangingClothing "换衣服") | domainEnglishFormat.kif 14130-14130 | |
| (termFormat ChineseTraditionalLanguage ChangingClothing "換衣服") | domainEnglishFormat.kif 14129-14129 | |
| (termFormat EnglishLanguage ChangingClothing "changing clothing") | domainEnglishFormat.kif 14128-14128 |
| antecedent |
|
|
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 5524-5531 |
| consequent |
|
|
| (=> (instance ?R DressingRoom) (hasPurpose ?R (exists (?C) (and (instance ?C ChangingClothing) (eventLocated ?C ?R))))) |
Mid-level-ontology.kif 15520-15526 |
|
|
|