|
|
   ChangingClothing
|
|
|
| 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 | ChangingClothing è una sottoclasse di Trasferimento |
| 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 5518-5525 |
|
| consequent |
|
|
| (=> (instance ?R DressingRoom) (hasPurpose ?R (exists (?C) (and (instance ?C ChangingClothing) (eventLocated ?C ?R))))) |
Mid-level-ontology.kif 15547-15553 |
|
|
|
|