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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pianist
Pianist(pianist)pianist, piano_player

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


(documentation Pianist EnglishLanguage "A Musician defined by beiing able to play Piano.") Music.kif 1389-1389
(instance Pianist Musician) Music.kif 1388-1388 Pianist is an instance of musician

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


(termFormat EnglishLanguage Pianist "pianist") domainEnglishFormat.kif 65361-65361

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


(=>
    (attribute ?PERSON Pianist)
    (hasSkill
        (PlayingInstrumentFn Piano) ?PERSON))
Music.kif 1391-1394


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