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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicText
MusicText(music text)
music_text

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


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

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


(termFormat EnglishLanguage MusicText "music text") domainEnglishFormat.kif 6991-6991 "music text" is the printable form of music text in english language

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


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

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