|
|
   OilPaint
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint OilPaint WatercolorPaint) | Mid-level-ontology.kif 3188-3188 | |
| (documentation OilPaint EnglishLanguage "Any Paint which is an oil-based Solution.") | Mid-level-ontology.kif 3189-3189 | |
| (subclass OilPaint Paint) | Mid-level-ontology.kif 3187-3187 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OilPaint "油漆") | domainEnglishFormat.kif 41979-41979 | |
| (termFormat ChineseTraditionalLanguage OilPaint "油漆") | domainEnglishFormat.kif 41978-41978 | |
| (termFormat EnglishLanguage OilPaint "oil paint") | domainEnglishFormat.kif 41977-41977 |
| antecedent |
|
|
| (=> (instance ?P OilPaint) (exists (?O) (and (instance ?O Oil) (part ?O ?P)))) |
Mid-level-ontology.kif 3191-3196 |
| consequent |
|
|
| (=> (instance ?P OilPicture) (exists (?O ?PAINTING) (and (instance ?O OilPaint) (instance ?PAINTING Painting) (resource ?PAINTING ?O) (result ?PAINTING ?P)))) |
Mid-level-ontology.kif 3203-3210 |
|
|
|