| 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 10570-10572 | |
| (documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 10568-10569 | |
| (subclass LyricalContent Proposition) | Mid-level-ontology.kif 10567-10567 |
| appearance as argument number 2 |
|
|
| (range LyricalComponentFn LyricalContent) | Music.kif 914-914 | |
| (termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 10573-10573 |
| appearance as argument number 3 |
|
|
| (domain SongFn 2 LyricalContent) | Music.kif 860-860 | |
| (domain lyricist 1 LyricalContent) | Music.kif 160-160 |
| antecedent |
|
|
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 10583-10589 | |
| (=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 10575-10581 |
| 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 10533-10543 | |
| (=> (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 10552-10565 |
|
|
|