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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicText
MusicText

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


(documentation MusicText EnglishLanguage "A Text in a Language that represents a form of music.") Mid-level-ontology.kif 12043-12044
(externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2711-2711 externalImage MusicText and "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Qaumi_Tarana_Sheet_Music.png"
(externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gryphius_05.jpg") pictureList.kif 2871-2871 externalImage MusicText and "http://upload.wikimedia.org/wikipedia/commons/9/90/ Gryphius_05.jpg"
(subclass MusicText Text) Mid-level-ontology.kif 12042-12042 subclass MusicText and Text

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


(termFormat ChineseLanguage MusicText "音乐文本") domainEnglishFormat.kif 39349-39349 termFormat ChineseLanguage, MusicText and "音乐文本"
(termFormat ChineseTraditionalLanguage MusicText "音樂文本") domainEnglishFormat.kif 39348-39348 termFormat ChineseTraditionalLanguage, MusicText and "音樂文本"
(termFormat EnglishLanguage MusicText "music text") domainEnglishFormat.kif 39347-39347 termFormat EnglishLanguage, MusicText and "music text"

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


(=>
    (instance ?X MusicText)
    (capability MakingMusic patient ?X))
Mid-level-ontology.kif 12046-12048

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG SportingGoodsHobbyBookAndMusicStores))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING)
                (and
                    (instance ?EV Selling)
                    (instance ?THING Object)
                    (or
                        (capability Sport instrument ?THING)
                        (capability MakingMusic instrument ?THING)
                        (instance ?THING Book)
                        (instance ?THING MusicRecording)
                        (instance ?THING MusicText))
                    (patient ?EV ?THING))))))
naics.kif 7607-7625


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners