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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 musicGenre2進述語instance では %n
(subrelation musicGenre attribute) Music.kif 341-341 musicGenreattributesubrelation では %n

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