| 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 11421-11423 | |
| (documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 11419-11420 | |
| (subclass LyricalContent Proposition) | Mid-level-ontology.kif 11418-11418 |
| appearance as argument number 2 |
|
|
| (range LyricalComponentFn LyricalContent) | Music.kif 914-914 | |
| (termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 11424-11424 |
| 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 11434-11440 | |
| (=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 11426-11432 |
| 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 11384-11394 | |
| (=> (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 11403-11416 |
|
|
|