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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bugle

Sigma KEE - Bugle
Bugle

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


(documentation Bugle EnglishLanguage "A HornInstrument that has no valves.") Music.kif 1280-1280
(externalImage Bugle "http://articulatesoftware.com/SUMOpictures/music/instruments/ assorted/ bugle.png") pictureList.kif 298-298
(subclass Bugle HornInstrument) Music.kif 1279-1279

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


(termFormat ChineseLanguage Bugle "号角") domainEnglishFormat.kif 12233-12233
(termFormat ChineseTraditionalLanguage Bugle "號角") domainEnglishFormat.kif 12232-12232
(termFormat EnglishLanguage Bugle "bugle") domainEnglishFormat.kif 12231-12231

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


(=>
    (instance ?B Bugle)
    (not
        (exists (?V)
            (and
                (instance ?V Valve)
                (part ?V ?B)))))
Music.kif 1281-1287


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