RemovingClothing
|
|
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 5533-5535 | |
(subclass RemovingClothing Uncovering) | Mid-level-ontology.kif 5532-5532 | Removing clothing is a subclass of uncovering |
appearance as argument number 2 |
(termFormat ChineseLanguage RemovingClothing "脱衣服") | domainEnglishFormat.kif 49466-49466 | |
(termFormat ChineseTraditionalLanguage RemovingClothing "脫衣服") | domainEnglishFormat.kif 49465-49465 | |
(termFormat EnglishLanguage RemovingClothing "removing clothing") | domainEnglishFormat.kif 49464-49464 |
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 5537-5548 |
|
consequent |
(=> (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 |
|