Dressing |
appearance as argument number 1 |
(documentation Dressing EnglishLanguage "The Process of putting on Clothing.") | Mid-level-ontology.kif 5495-5495 | |
(subclass Dressing Putting) | Mid-level-ontology.kif 5494-5494 | Dressing est une sous-classe de mettre |
appearance as argument number 2 |
(termFormat ChineseLanguage Dressing "调味料") | domainEnglishFormat.kif 20400-20400 | |
(termFormat ChineseTraditionalLanguage Dressing "調味料") | domainEnglishFormat.kif 20399-20399 | |
(termFormat EnglishLanguage Dressing "dressing") | domainEnglishFormat.kif 20398-20398 |
antecedent |
(=> (and (instance ?D Dressing) (instance ?O Oqal) (instance ?H Hat) (patient ?D ?O) (patient ?D ?H)) (hasPurpose ?O (exists (?A) (and (instance ?A Attaching) (instrument ?A ?O))))) |
ArabicCulture.kif 420-431 | |
(=> (and (instance ?DRESS Dressing) (agent ?DRESS ?AGENT) (patient ?DRESS ?CLOTHING)) (and (instance ?CLOTHING Clothing) (holdsDuring (BeginFn (WhenFn ?DRESS)) (not (wears ?AGENT ?CLOTHING))) (holdsDuring (EndFn (WhenFn ?DRESS)) (wears ?AGENT ?CLOTHING)))) |
Mid-level-ontology.kif 5497-5512 |
|
consequent |