| 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 5528-5530 | |
| (subclass RemovingClothing Uncovering) | Mid-level-ontology.kif 5527-5527 |
| 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 |
|
|
|