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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Saxophone

Sigma KEE - Saxophone
Saxophone

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


(documentation Saxophone EnglishLanguage "A single_reed WindInstrument with a conical bore.") Music.kif 1301-1301
(subclass Saxophone WindInstrument) Music.kif 1300-1300 SaxophoneWindInstrumentsubclass では

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


(termFormat EnglishLanguage Saxophone "saxophone") domainEnglishFormat.kif 65436-65436

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


(=>
    (attribute ?PERSON Saxophonist)
    (hasSkill
        (PlayingInstrumentFn Saxophone) ?PERSON))
Music.kif 1424-1427


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