| 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 15160-15162 | |
| (documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 15158-15159 | |
| (subclass LyricalContent Proposition) | Mid-level-ontology.kif 15157-15157 |
| appearance as argument number 2 |
|
|
| (range LyricalComponentFn LyricalContent) | Music.kif 920-920 | |
| (termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 15163-15163 |
| appearance as argument number 3 |
|
|
| (domain SongFn 2 LyricalContent) | Music.kif 866-866 | |
| (domain lyricist 1 LyricalContent) | Music.kif 162-162 |
| antecedent |
|
|
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 15173-15179 | |
| (=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 15165-15171 |
| 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 15123-15133 | |
| (=> (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 15142-15155 |
|
|
|