| Dressing | |
| appearance as argument number 1 |
|
|
| (documentation Dressing EnglishLanguage "The Process of putting on Clothing.") | Mid-level-ontology.kif 6457-6457 | |
| (subclass Dressing Putting) | Mid-level-ontology.kif 6456-6456 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dressing "调味料") | domainEnglishFormat.kif 20415-20415 | |
| (termFormat ChineseTraditionalLanguage Dressing "調味料") | domainEnglishFormat.kif 20414-20414 | |
| (termFormat EnglishLanguage Dressing "dressing") | domainEnglishFormat.kif 20413-20413 |
| 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 6459-6474 |
| consequent |
|
|
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 6480-6487 | |
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 HoleRegion) (hole ?H1 ?S) (instance ?H2 HoleRegion) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1))))))) |
Mid-level-ontology.kif 6168-6188 |
|
|
|