ArtPainting
|
|
appearance as argument number 1 |
(documentation ArtPainting EnglishLanguage "Any ContentDevelopment that results in a PaintedPicture.") | Mid-level-ontology.kif 3242-3243 | |
(subclass ArtPainting ContentDevelopment) | Mid-level-ontology.kif 3240-3240 | 艺术绘画 是 内容制作 的 subclass |
(subclass ArtPainting Painting) | Mid-level-ontology.kif 3241-3241 | 艺术绘画 是 绘画 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage ArtPainting "艺术绘画") | domainEnglishFormat.kif 8556-8556 | |
(termFormat ChineseTraditionalLanguage ArtPainting "藝術繪畫") | domainEnglishFormat.kif 8555-8555 | |
(termFormat EnglishLanguage ArtPainting "art painting") | domainEnglishFormat.kif 8554-8554 |
antecedent |
(=> (instance ?PAINT ArtPainting) (exists (?PICTURE) (and (instance ?PICTURE PaintedPicture) (result ?PAINT ?PICTURE)))) |
Mid-level-ontology.kif 3245-3250 |
consequent |
(=> (attribute ?PERSON Painter) (hasSkill ArtPainting ?PERSON)) |
Biography.kif 694-696 |