ChangingClothing - Sigma Knowledge base Browser

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