| 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 5515-5516 | |
| (subclass ChangingClothing Transfer) | Mid-level-ontology.kif 5514-5514 | Changing clothing is a subclass of transfer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChangingClothing "换衣服") | domainEnglishFormat.kif 14146-14146 | |
| (termFormat ChineseTraditionalLanguage ChangingClothing "換衣服") | domainEnglishFormat.kif 14145-14145 | |
| (termFormat EnglishLanguage ChangingClothing "changing clothing") | domainEnglishFormat.kif 14144-14144 |
| antecedent |
|
|
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 5518-5525 |
|
| consequent |
|
|
| (=> (instance ?R DressingRoom) (hasPurpose ?R (exists (?C) (and (instance ?C ChangingClothing) (eventLocated ?C ?R))))) |
Mid-level-ontology.kif 15738-15744 |
|
|
|
|