| 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 14007-14009 | |
| (documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 14005-14006 | |
| (subclass LyricalContent Proposition) | Mid-level-ontology.kif 14004-14004 |
| appearance as argument number 2 |
|
|
| (range LyricalComponentFn LyricalContent) | Music.kif 918-918 | |
| (termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 14010-14010 |
| appearance as argument number 3 |
|
|
| (domain SongFn 2 LyricalContent) | Music.kif 864-864 | |
| (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 14020-14026 | |
| (=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 14012-14018 |
| 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 13970-13980 | |
| (=> (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 13989-14002 |
|
|
|