LyricalContent(lyrical content) | language, love_lyric, lyric, words |
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 13816-13818 | |
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 13814-13815 | |
(subclass LyricalContent Proposition) | Mid-level-ontology.kif 13813-13813 | Lyrical content is a subclass of proposition |
appearance as argument number 2 |
(range LyricalComponentFn LyricalContent) | Music.kif 918-918 | The range of lyrical component function is an instance of lyrical content |
(termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 13819-13819 |
appearance as argument number 3 |
(domain SongFn 2 LyricalContent) | Music.kif 864-864 | The number 2 argument of song function is an instance of lyrical content |
(domain lyricist 1 LyricalContent) | Music.kif 162-162 | The number 1 argument of lyricist is an instance of lyrical content |
antecedent |
(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 13829-13835 |
|
(=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 13821-13827 |
|
consequent |