Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

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

appearance as argument number 1
-------------------------


(subclass LyricalContent Proposition) Mid-level-ontology.kif 15381-15381 Lyrical content is a subclass of proposition
(documentation LyricalContent EnglishLanguage "LyricalContent is the conceptual idea of Lyrics.") Mid-level-ontology.kif 15382-15383 Lyrical content is a subclass of proposition
(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 Lyrical content is a subclass of proposition

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


(termFormat EnglishLanguage LyricalContent "lyrical content") Mid-level-ontology.kif 15387-15387
(range LyricalComponentFn LyricalContent) Music.kif 920-920 The range of lyrical component function is an instance of lyrical content

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


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

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


(=>
    (instance ?X LyricalContent)
    (hasPurpose ?X
        (exists (?S)
            (and
                (instance ?S Singing)
                (patient ?S ?X)))))		 Mid-level-ontology.kif 15389-15395 If X is an instance of lyrical content, then X has the purpose there exists Y such that Y is an instance of singing and X is a patient of Y
(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))		 Mid-level-ontology.kif 15397-15403 If X is an instance of lyrical content, then there exist Y, Z such that Y is an instance of word, Y contains information Z, and Z is a sub-proposition of X

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 If X is an instance of musical composition and X expresses the content of Y, then there don't exist Z, W such that W is an instance of singing, Z is a patient of W, Z is an instance of lyrical content, and W is a subprocess of Y
(=>
    (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 If X is an instance of song and X expresses the content of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of making music (3) W is an instance of singing (4) V is an instance of lyrical content (5) U is an instance of musical composition (6) U is a patient of Z (7) V is a patient of W (8) Z is a subprocess of Y (9) W is a subprocess of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners