MusicText - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MusicText EnglishLanguage "A Text in a Language that represents a form of music.")	Mid-level-ontology.kif 14639-14640
(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 14638-14638	Music text is a subclass of text

appearance as argument number 2

(termFormat ChineseLanguage MusicText "音乐文本")	domainEnglishFormat.kif 39467-39467
(termFormat ChineseTraditionalLanguage MusicText "音樂文本")	domainEnglishFormat.kif 39466-39466
(termFormat EnglishLanguage MusicText "music text")	domainEnglishFormat.kif 39465-39465

antecedent

(=>
(instance ?X MusicText)
(capability MakingMusic patient ?X))

Mid-level-ontology.kif 14642-14644

If an object is an instance of music text,
then the object 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 7600-7618

If a collection is an instance of organization and sporting goods hobby book and music stores is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing sport as a instrument or the object is capable of doing making music as a instrument or the object is an instance of book or the object is an instance of music recording or the object is an instance of music text and the object is a patient of the agent

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

KB Term:			Term intersection

English Word: