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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicText

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 14421-14422
(externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2710-2710
(externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gryphius_05.jpg") pictureList.kif 2870-2870
(subclass MusicText Text) Mid-level-ontology.kif 14420-14420 音乐文本文本subclass

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


(termFormat ChineseLanguage MusicText "音乐文本") domainEnglishFormat.kif 39429-39429
(termFormat ChineseTraditionalLanguage MusicText "音樂文本") domainEnglishFormat.kif 39428-39428
(termFormat EnglishLanguage MusicText "music text") domainEnglishFormat.kif 39427-39427

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


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

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


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