DependencyOrSpecialSovereigntyArea
|
|
appearance as argument number 1 |
(disjoint OilPaint WatercolorPaint) | Mid-level-ontology.kif 3209-3209 | 不相交的 油漆 and 水彩顏料 |
(documentation OilPaint EnglishLanguage "Any Paint which is an oil-based Solution.") | Mid-level-ontology.kif 3210-3210 | |
(subclass OilPaint Paint) | Mid-level-ontology.kif 3208-3208 | 子類 油漆 and 塗料 |
appearance as argument number 2 |
(termFormat ChineseLanguage OilPaint "油漆") | domainEnglishFormat.kif 41966-41966 | |
(termFormat ChineseTraditionalLanguage OilPaint "油漆") | domainEnglishFormat.kif 41965-41965 | |
(termFormat EnglishLanguage OilPaint "oil paint") | domainEnglishFormat.kif 41964-41964 |
antecedent |
(=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3212-3217 |
consequent |
(=> (instance ?P OilPicture) (exists (?O ?PAINTING) (and (instance ?O OilPaint) (instance ?PAINTING Painting) (resource ?PAINTING ?O) (result ?PAINTING ?P)))) |
Mid-level-ontology.kif 3224-3231 |