Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtPainting

Sigma KEE - ArtPainting
ArtPainting

appearance as argument number 1
-------------------------


(documentation ArtPainting EnglishLanguage "Any ContentDevelopment that results in a PaintedPicture.") Mid-level-ontology.kif 3235-3236
(subclass ArtPainting ContentDevelopment) Mid-level-ontology.kif 3233-3233 ArtPaintingコンテンツ開発subclass では %n
(subclass ArtPainting Painting) Mid-level-ontology.kif 3234-3234 ArtPaintingPaintingsubclass では %n

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 3238-3243

consequent
-------------------------


(=>
    (attribute ?PERSON Painter)
    (hasSkill ArtPainting ?PERSON))
Biography.kif 694-696


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners