| ArtPainting(art painting) | | paint |
| appearance as argument number 1 |
|
|
| (documentation ArtPainting EnglishLanguage "Any ContentDevelopment that results in a PaintedPicture.") | Mid-level-ontology.kif 3308-3309 | |
| (subclass ArtPainting ContentDevelopment) | Mid-level-ontology.kif 3306-3306 | Art painting is a subclass of content development |
| (subclass ArtPainting Painting) | Mid-level-ontology.kif 3307-3307 | Art painting is a subclass of painting |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ArtPainting "艺术绘画") | domainEnglishFormat.kif 8563-8563 | |
| (termFormat ChineseTraditionalLanguage ArtPainting "藝術繪畫") | domainEnglishFormat.kif 8562-8562 | |
| (termFormat EnglishLanguage ArtPainting "art painting") | domainEnglishFormat.kif 8561-8561 |
| antecedent |
|
|
| (=> (instance ?PAINT ArtPainting) (exists (?PICTURE) (and (instance ?PICTURE PaintedPicture) (result ?PAINT ?PICTURE)))) |
Mid-level-ontology.kif 3311-3316 |
|
| consequent |
|
|
| (=> (attribute ?PERSON Painter) (hasSkill ArtPainting ?PERSON)) |
Biography.kif 694-696 |
|
|
|