Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MusicText

 Sigma KEE - MusicText
MusicText(music text)

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


(subclass MusicText Text) Mid-level-ontology.kif 16025-16025 Music text is a subclass of text
(documentation MusicText EnglishLanguage "A Text in a Language that represents a form of music.") Mid-level-ontology.kif 16026-16027 Music text is a subclass of text
(externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2709-2709 Music text is a subclass of text
(externalImage MusicText "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ Gryphius_05.jpg") pictureList.kif 2869-2869 Music text is a subclass of text

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


(termFormat EnglishLanguage MusicText "music text") domainEnglishFormat.kif 39433-39433
(termFormat ChineseTraditionalLanguage MusicText "音樂文本") domainEnglishFormat.kif 39434-39434
(termFormat ChineseLanguage MusicText "音乐文本") domainEnglishFormat.kif 39435-39435

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


(=>
    (instance ?X MusicText)
    (capability MakingMusic patient ?X))		 Mid-level-ontology.kif 16029-16031 If X is an instance of music text, then X is capable of doing making music as a patient

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 7597-7615 If X is an instance of organization and sporting goods hobby book and music stores is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of object (6) W is capable of doing sport as a instrument or W is capable of doing making music as a instrument or W is an instance of book or W is an instance of music recording or W is an instance of music text (7) W is a patient of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners