Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LyricalContent |  |
| appearance as argument number 1 |
|
|
| (subclass LyricalContent Proposition) | Mid-level-ontology.kif 15381-15381 | |
| (documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 15382-15383 | |
| (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 15384-15386 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 15387-15387 | |
| (range LyricalComponentFn LyricalContent) | Music.kif 920-920 |
| appearance as argument number 3 |
|
|
| (domain lyricist 1 LyricalContent) | Music.kif 162-162 | |
| (domain SongFn 2 LyricalContent) | Music.kif 866-866 |
| antecedent |
|
|
| (=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 15389-15395 | |
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 15397-15403 |
| 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 15347-15357 | |
| (=> (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 15366-15379 |
|