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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LyricalContent
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 10570-10572
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") Mid-level-ontology.kif 10568-10569
(subclass LyricalContent Proposition) Mid-level-ontology.kif 10567-10567

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


(range LyricalComponentFn LyricalContent) Music.kif 914-914
(termFormat EnglishLanguage LyricalContent "lyrical content") Mid-level-ontology.kif 10573-10573

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 10583-10589
(=>
    (instance ?X LyricalContent)
    (hasPurpose ?X
        (exists (?S)
            (and
                (instance ?S Singing)
                (patient ?S ?X)))))
Mid-level-ontology.kif 10575-10581

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 10533-10543
(=>
    (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 10552-10565


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 3.0 is open source software produced by Articulate Software and its partners