TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SongFn EnglishLanguage "The function (SongFn ?MC ?LC) returns an instance of Song that refers to the conception of a song that has MusicalComposition ?MC and LyricalContent ?LC.")	Music.kif 860-862
(domain SongFn 1 MusicalComposition)	Music.kif 865-865	The number 1 argument of song function is an instance of musical composition
(domain SongFn 2 LyricalContent)	Music.kif 866-866	The number 2 argument of song function is an instance of lyrical content
(instance SongFn BinaryFunction)	Music.kif 859-859	Song function is an instance of binary function
(range SongFn Song)	Music.kif 867-867	The range of song function is an instance of song

appearance as argument number 2

(format ChineseLanguage SongFn "song 构成 %1 和 %2 ")	domainEnglishFormat.kif 4582-4582
(format ChineseTraditionalLanguage SongFn "song 構成 %1 和 %2 ")	domainEnglishFormat.kif 4581-4581
(format EnglishLanguage SongFn "the song comprising %1 and %2")	domainEnglishFormat.kif 4580-4580
(termFormat EnglishLanguage SongFn "song function")	Music.kif 863-863

antecedent

(=>
    (and
        (equal ?S
            (SongFn ?MC ?LC))
        (realization ?S ?MUSIC))
    (exists (?MM ?MV)
        (and
            (patient ?MM ?MC)
            (patient ?MV ?LC)
            (subProcess ?MM ?MUSIC)
            (subProcess ?MV ?MUSIC))))

Music.kif 869-878

If equal a song and the song comprising a musical composition and a lyrical content and the song expresses the content of a process,
then there exist another process and a third process such that the musical composition is a patient of the other process and the lyrical content is a patient of the third process and the other process is a subprocess of the process and the third process is a subprocess of the process

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

KB Term:			Term intersection

English Word: