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

Formal Language: 



KB Term:  Term intersection
English Word: 

  musicGenre

Sigma KEE - musicGenre
musicGenre

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


(documentation musicGenre EnglishLanguage "(musicGenre ?MR ?ATTR) relates the MusicGenre ?ATTR to the MusicRecording ?MR") Music.kif 343-344
(instance musicGenre BinaryPredicate) Music.kif 342-342 musicGenre est une instance de pr�dicat binaire
(subrelation musicGenre attribute) Music.kif 341-341 musicGenre est une sous-relation de attribute

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


(format ChineseLanguage musicGenre "%2 是在 genre %1 ") domainEnglishFormat.kif 3930-3930
(format ChineseTraditionalLanguage musicGenre "%2 是在 genre %1 ") domainEnglishFormat.kif 3929-3929
(format EnglishLanguage musicGenre "%2 is in the genre %1") domainEnglishFormat.kif 3928-3928
(termFormat EnglishLanguage musicGenre "music genre") Music.kif 345-345

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


(=>
    (and
        (musicGenre ?MR Acapella)
        (record ?MR ?MM))
    (not
        (exists (?MI)
            (and
                (instance ?MI MakingInstrumentalMusic)
                (subProcess ?MI ?MM)))))
Music.kif 524-532
(=>
    (and
        (musicGenre ?MR AcousticMusic)
        (record ?MR ?MM))
    (not
        (exists (?I ?ED)
            (and
                (instance ?I MusicalInstrument)
                (instrument ?MM ?I)
                (instance ?ED ElectricDevice)
                (part ?ED ?I)))))
Music.kif 559-569
(=>
    (musicGenre ?MR ChristianMusic)
    (exists (?X)
        (and
            (attribute ?X Christian)
            (refers ?MR ?X))))
Music.kif 647-652
(=>
    (musicGenre ?MR ElectronicDanceMusic)
    (hasPurpose ?MR
        (exists (?NC ?MM)
            (and
                (instance ?NC NightClub)
                (instance ?MM MakingMusic)
                (patient ?MM ?MR)
                (eventLocated ?MM ?NC)))))
Music.kif 673-681
(=>
    (musicGenre ?MR ElectronicMusic)
    (exists (?DV ?MM)
        (and
            (instance ?DV ElectricDevice)
            (record ?MR ?MM)
            (instrument ?MM ?DV))))
Music.kif 689-695
(=>
    (musicGenre ?MR ReligiousMusic)
    (exists (?ATTR ?X)
        (and
            (instance ?ATTR ReligiousAttribute)
            (attribute ?X ?ATTR)
            (refers ?MR ?X))))
Music.kif 633-639


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