Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChangingClothing
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 5521-5522
(subclass ChangingClothing Transfer) Mid-level-ontology.kif 5520-5520 Changing clothing is a subclass of transfer

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners