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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LyricalComponentFn

 Sigma KEE - LyricalComponentFn
LyricalComponentFn

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


(documentation LyricalComponentFn EnglishLanguage "The function (LyricalComponentFn ?S) returns the instance of the LyricalContent component of the Song ?S") Music.kif 913-914
(domain LyricalComponentFn 1 Song) Music.kif 917-917 Le nombre 1 argument de LyricalComponentFn est une instance de Song
(instance LyricalComponentFn UnaryFunction) Music.kif 912-912 LyricalComponentFn est une instance de function unaire
(range LyricalComponentFn LyricalContent) Music.kif 918-918 Le domaine de LyricalComponentFn est une instance de LyricalContent

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


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

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