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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Bugle ist eine teilkategorie von HornInstrument

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 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