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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LyricalContent

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 13259-13261
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") Mid-level-ontology.kif 13257-13258
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13256-13256

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


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

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


(domain SongFn 2 LyricalContent) Music.kif 861-861
(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 13272-13278
(=>
    (instance ?X LyricalContent)
    (hasPurpose ?X
        (exists (?S)
            (and
                (instance ?S Singing)
                (patient ?S ?X)))))
Mid-level-ontology.kif 13264-13270

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 13222-13232
(=>
    (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 13241-13254


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

Show without tree


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