Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LyricalContent
LyricalContent(lyrical content)language, love_lyric, lyric, lyrical_content, words

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 11393-11395
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") Mid-level-ontology.kif 11391-11392
(subclass LyricalContent Proposition) Mid-level-ontology.kif 11390-11390 Lyrical content is a subclass of proposition

appearance as argument number 2
-------------------------


(range LyricalComponentFn LyricalContent) Music.kif 914-914 The range of lyrical component function is an instance of lyrical content
(termFormat EnglishLanguage LyricalContent "lyrical content") Mid-level-ontology.kif 11396-11396 "lyrical content" is the printable form of lyrical content in english language

appearance as argument number 3
-------------------------


(domain SongFn 2 LyricalContent) Music.kif 860-860 The number 2 argument of song function is an instance of lyrical content
(domain lyricist 1 LyricalContent) Music.kif 160-160 The number 1 argument of lyricist is an instance of lyrical content

antecedent
-------------------------


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 11406-11412
(=>
    (instance ?X LyricalContent)
    (hasPurpose ?X
        (exists (?S)
            (and
                (instance ?S Singing)
                (patient ?S ?X)))))
Mid-level-ontology.kif 11398-11404

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 11356-11366
(=>
    (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 11375-11388


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners