Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  RemovingClothing

 Sigma KEE - RemovingClothing
RemovingClothing(removing clothing)discase, disinvest, disrobe, divest, peel, strip, strip_down, take_off, uncase, unclothe, undress

appearance as argument number 1
-------------------------


(subclass RemovingClothing Uncovering) Mid-level-ontology.kif 6652-6652 Removing clothing is a subclass of uncovering
(documentation RemovingClothing EnglishLanguage "Removing Clothing from a Human or Animal in such a way that the Human or Animal no longer wears the Clothing.") Mid-level-ontology.kif 6653-6655 Removing clothing is a subclass of uncovering

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage RemovingClothing "removing clothing") domainEnglishFormat.kif 49461-49461
(termFormat ChineseTraditionalLanguage RemovingClothing "脫衣服") domainEnglishFormat.kif 49462-49462
(termFormat ChineseLanguage RemovingClothing "脱衣服") domainEnglishFormat.kif 49463-49463

antecedent
-------------------------


(=>
    (and
        (instance ?REMOVE RemovingClothing)
        (agent ?REMOVE ?AGENT)
        (patient ?REMOVE ?CLOTHING))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?REMOVE))
            (wears ?AGENT ?CLOTHING))
        (holdsDuring
            (EndFn
                (WhenFn ?REMOVE))
            (not
                (wears ?AGENT ?CLOTHING)))))		 Mid-level-ontology.kif 6657-6668 If X is an instance of removing clothing, Y is an agent of X, and Z is a patient of X, then Y wears Z holds during the beginning of the time of existence of X and Y doesn't wear Z holds during the end of the time of existence of X

consequent
-------------------------


(=>
    (instance ?CC ChangingClothing)
    (exists (?R ?D)
        (and
            (instance ?R RemovingClothing)
            (instance ?D Dressing)
            (subProcess ?R ?CC)
            (subProcess ?D ?CC))))		 Mid-level-ontology.kif 6643-6650 If X is an instance of changing clothing, then there exist Y, Z such that Y is an instance of removing clothing, Z is an instance of dressing, Y is a subprocess of X, and Z is a subprocess of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners