TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Song Music)	Mid-level-ontology.kif 15359-15359	Song is a subclass of music
(documentation Song EnglishLanguage "Song refers to the conception of music that includes both MusicalComposition and LyricalComposition. While a Song can be interpreted without its LyricalContent, or its LyricalContent is used elsewhere, the idea of Song as it was originally conceptualized is that it contains both.")	Mid-level-ontology.kif 15360-15363	Song is a subclass of music
(externalImage Song "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png")	pictureList.kif 2933-2933	Song is a subclass of music

appearance as argument number 2

(termFormat EnglishLanguage Song "song")	Mid-level-ontology.kif 15364-15364
(range SongFn Song)	Music.kif 867-867	The range of song function is an instance of song
(termFormat ChineseTraditionalLanguage Song "歌曲")	domainEnglishFormat.kif 53948-53948	The range of song function is an instance of song
(termFormat ChineseLanguage Song "歌曲")	domainEnglishFormat.kif 53949-53949	The range of song function is an instance of song

appearance as argument number 3

(domain MusicalComponentFn 1 Song)	Music.kif 907-907	The number 1 argument of musical composition function is an instance of song
(domain LyricalComponentFn 1 Song)	Music.kif 919-919	The number 1 argument of lyrical component function is an instance of song

antecedent

(=>
    (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))))

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