![]() |
![]() ![]() ![]()
|
![]() |
|
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 13788-13790 | |
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") | Mid-level-ontology.kif 13786-13787 | |
(subclass LyricalContent Proposition) | Mid-level-ontology.kif 13785-13785 | LyricalContent è una sottoclasse di Proposizione |
appearance as argument number 2 |
![]() |
(range LyricalComponentFn LyricalContent) | Music.kif 918-918 | rango di LyricalComponentFn è un'istanza di LyricalContent |
(termFormat EnglishLanguage LyricalContent "lyrical content") | Mid-level-ontology.kif 13791-13791 |
appearance as argument number 3 |
![]() |
(domain SongFn 2 LyricalContent) | Music.kif 864-864 | Il numero 2 argomenti di SongFn è un istanza di LyricalContent |
(domain lyricist 1 LyricalContent) | Music.kif 162-162 | Il numero 1 argomenti di lyricist è un istanza di LyricalContent |
antecedent |
![]() |
(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 13801-13807 |
|
(=> (instance ?X LyricalContent) (hasPurpose ?X (exists (?S) (and (instance ?S Singing) (patient ?S ?X))))) |
Mid-level-ontology.kif 13793-13799 |
|
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 13751-13761 | |
(=> (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 13770-13783 |
|
![]() |
![]() |