| 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 | 子類 脫衣服 and 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 |
|
|
|