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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Painter
Painter

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


(documentation Painter EnglishLanguage "An artist who paints.") Biography.kif 456-456
(instance Painter ArtisticOccupation) Biography.kif 455-455

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Painter "画家") domainEnglishFormat.kif 44006-44006
(termFormat ChineseTraditionalLanguage Painter "畫家") domainEnglishFormat.kif 44005-44005
(termFormat EnglishLanguage Painter "painter") domainEnglishFormat.kif 44004-44004

antecedent
-------------------------


(=>
    (attribute ?PERSON Painter)
    (hasSkill ArtPainting ?PERSON))
Biography.kif 458-460


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



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