TreeView Knowledge Base Browser - LyricalComponentFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | LogLearn | Editor | ] KB: Language:

Formal Language:

KB Term:			Term intersection

English Word:

LyricalComponentFn

Sigma KEE - LyricalComponentFn

LyricalComponentFn

appearance as argument number 1

(instance LyricalComponentFn UnaryFunction)	Music.kif 914-914	Lyrical component function is an instance of unary function
(documentation LyricalComponentFn EnglishLanguage "The function (LyricalComponentFn ?S) returns the instance of the LyricalContent component of the Song ?S")	Music.kif 915-916	Lyrical component function is an instance of unary function
(domain LyricalComponentFn 1 Song)	Music.kif 919-919	The number 1 argument of lyrical component function is an instance of song
(range LyricalComponentFn LyricalContent)	Music.kif 920-920	The range of lyrical component function is an instance of lyrical content

appearance as argument number 2

(termFormat EnglishLanguage LyricalComponentFn "lyrical component function")	Music.kif 917-917
(format EnglishLanguage LyricalComponentFn "the lyrics of %1")	domainEnglishFormat.kif 3794-3794
(format ChineseTraditionalLanguage LyricalComponentFn "%1 的 lyrics ")	domainEnglishFormat.kif 3795-3795
(format ChineseLanguage LyricalComponentFn "%1 的 lyrics ")	domainEnglishFormat.kif 3796-3796

antecedent

(=>
    (equal ?L
        (LyricalComponentFn ?S))
    (subProposition ?L ?S))

Music.kif 922-924

If equal X and the lyrics of Y, then X is a sub-proposition of Y

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