| Dressing(调味料) | |
| appearance as argument number 1 |
|
|
| (documentation Dressing EnglishLanguage "The Process of putting on Clothing.") | Mid-level-ontology.kif 5193-5193 | |
| (subclass Dressing Putting) | Mid-level-ontology.kif 5192-5192 | 调味料 是 放 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dressing "调味料") | domainEnglishFormat.kif 20391-20391 | |
| (termFormat ChineseTraditionalLanguage Dressing "調味料") | domainEnglishFormat.kif 20390-20390 | |
| (termFormat EnglishLanguage Dressing "dressing") | domainEnglishFormat.kif 20389-20389 |
| 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 407-418 | |
| (=> (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 5195-5210 |
| consequent |
|
|
| (=> (instance ?CC ChangingClothing) (exists (?R ?D) (and (instance ?R RemovingClothing) (instance ?D Dressing) (subProcess ?R ?CC) (subProcess ?D ?CC)))) |
Mid-level-ontology.kif 5216-5223 | |
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 Hole) (hole ?H1 ?S) (instance ?H2 Hole) (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 4934-4954 |
|
|
|
|