| appearance as argument number 1 |
|
| (documentation musicGenre EnglishLanguage "(musicGenre ?MR ?ATTR) relates the MusicGenre ?ATTR to the MusicRecording ?MR") | Music.kif 342-343 | |
| (instance musicGenre BinaryPredicate) | Music.kif 341-341 | musicGenre 是 二元谓语 的 instance |
| (subrelation musicGenre attribute) | Music.kif 340-340 | musicGenre 是 属于 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage musicGenre "%2 是在 genre %1 ") | domainEnglishFormat.kif 3935-3935 | |
| (format ChineseTraditionalLanguage musicGenre "%2 是在 genre %1 ") | domainEnglishFormat.kif 3934-3934 | |
| (format EnglishLanguage musicGenre "%2 is in the genre %1") | domainEnglishFormat.kif 3933-3933 | |
| (termFormat EnglishLanguage musicGenre "music genre") | Music.kif 344-344 |
| antecedent |
|
|
| (=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 522-530 | |
| (=> (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 557-567 | |
| (=> (musicGenre ?MR ChristianMusic) (exists (?X) (and (attribute ?X Christian) (refers ?MR ?X)))) |
Music.kif 645-650 | |
| (=> (musicGenre ?MR ElectronicDanceMusic) (hasPurpose ?MR (exists (?NC ?MM) (and (instance ?NC NightClub) (instance ?MM MakingMusic) (patient ?MM ?MR) (eventLocated ?MM ?NC))))) |
Music.kif 671-679 | |
| (=> (musicGenre ?MR ElectronicMusic) (exists (?DV ?MM) (and (instance ?DV ElectricDevice) (record ?MR ?MM) (instrument ?MM ?DV)))) |
Music.kif 687-693 | |
| (=> (musicGenre ?MR ReligiousMusic) (exists (?ATTR ?X) (and (instance ?ATTR ReligiousAttribute) (attribute ?X ?ATTR) (refers ?MR ?X)))) |
Music.kif 631-637 |
|
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