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 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命題subclass では %n

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


(range LyricalComponentFn LyricalContent) Music.kif 918-918 LyricalComponentFnrangeLyricalContent のインスタンス では %n
(termFormat EnglishLanguage LyricalContent "lyrical content") Mid-level-ontology.kif 13791-13791

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


(domain SongFn 2 LyricalContent) Music.kif 864-864 SongFn の数値 2 引数は LyricalContentinstance では %n
(domain lyricist 1 LyricalContent) Music.kif 162-162 lyricist の数値 1 引数は LyricalContentinstance では %n

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


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