ChangingClothing
|
|
appearance as argument number 1 |
(documentation ChangingClothing EnglishLanguage "Any instance of a process of RemovingClothing and Dressing.") | Mid-level-ontology.kif 5520-5521 | |
(subclass ChangingClothing Transfer) | Mid-level-ontology.kif 5519-5519 | 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 5523-5530 |
|
consequent |
(=> (instance ?R DressingRoom) (hasPurpose ?R (exists (?C) (and (instance ?C ChangingClothing) (eventLocated ?C ?R))))) |
Mid-level-ontology.kif 15519-15525 |
|