| Dressing | |
| appearance as argument number 1 |
|
|
| (documentation Dressing EnglishLanguage "The Process of putting on Clothing.") | Mid-level-ontology.kif 6438-6438 | |
| (subclass Dressing Putting) | Mid-level-ontology.kif 6437-6437 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dressing "调味料") | domainEnglishFormat.kif 20409-20409 | |
| (termFormat ChineseTraditionalLanguage Dressing "調味料") | domainEnglishFormat.kif 20408-20408 | |
| (termFormat EnglishLanguage Dressing "dressing") | domainEnglishFormat.kif 20407-20407 |
| 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 6440-6455 |
| consequent |
|
|
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 6461-6468 | |
| (=> (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 6149-6169 |
|
|
|