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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bugle
Bugle(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 Bugle is a subclass of horn instrument

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


(termFormat ChineseLanguage Bugle "号角") domainEnglishFormat.kif 12249-12249
(termFormat ChineseTraditionalLanguage Bugle "號角") domainEnglishFormat.kif 12248-12248
(termFormat EnglishLanguage Bugle "bugle") domainEnglishFormat.kif 12247-12247

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


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


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