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 5534-5536 | |
(subclass RemovingClothing Uncovering) | Mid-level-ontology.kif 5533-5533 | RemovingClothing est une sous-classe de d�couvrir |
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 5538-5549 |
consequent |
(=> (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 |