| 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 | |
| (subrelation musicGenre attribute) | Music.kif 341-341 |
| 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