LyricalContent
|
|
appearance as argument number 1 |
(comment LyricalContent "It is important to distinguish the propositional content of Lyrics from the text that displays it. Some songs are translated from one language to another, but use essentially the same Lyrical content. (09-15-2011)" "KJN") | Mid-level-ontology.kif 13789-13791 | |
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 13787-13788 | |
(subclass LyricalContent Proposition) | Mid-level-ontology.kif 13786-13786 | 子類 LyricalContent and Proposition |
appearance as argument number 2 |
(range LyricalComponentFn LyricalContent) | Music.kif 918-918 | 範圍 LyricalComponentFn and LyricalContent |
(termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 13792-13792 |
appearance as argument number 3 |
(domain SongFn 2 LyricalContent) | Music.kif 864-864 | 域 SongFn, 2 and LyricalContent |
(domain lyricist 1 LyricalContent) | Music.kif 162-162 | 域 lyricist, 1 and LyricalContent |
antecedent |
(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 13802-13808 |
|
(=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 13794-13800 |
consequent |
(=> (and (instance ?MC MusicalComposition) (realization ?MC ?MUSIC)) (not (exists (?LC ?V) (and (instance ?V Singing) (patient ?V ?LC) (instance ?LC LyricalContent) (subProcess ?V ?MUSIC))))) |
Mid-level-ontology.kif 13752-13762 | |
(=> (and (instance ?S Song) (realization ?S ?MUSIC)) (exists (?MM ?MV ?LC ?MC) (and (instance ?MM MakingMusic) (instance ?MV Singing) (instance ?LC LyricalContent) (instance ?MC MusicalComposition) (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC)))) |
Mid-level-ontology.kif 13771-13784 |