RemovingClothing(removing clothing) | discase, disinvest, disrobe, divest, peel, strip, strip_down, take_off, uncase, unclothe, undress |
appearance as argument number 1 |
(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 5528-5530 | |
(subclass RemovingClothing Uncovering) | Mid-level-ontology.kif 5527-5527 | Removing clothing is a subclass of uncovering |
appearance as argument number 2 |
(termFormat ChineseLanguage RemovingClothing "脱衣服") | domainEnglishFormat.kif 49468-49468 | |
(termFormat ChineseTraditionalLanguage RemovingClothing "脫衣服") | domainEnglishFormat.kif 49467-49467 | |
(termFormat EnglishLanguage RemovingClothing "removing clothing") | domainEnglishFormat.kif 49466-49466 |
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 5532-5543 |
|
consequent |
(=> (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 |
|