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 Il numero 1 argomenti di LyricalComponentFn è un istanza di Song
(instance LyricalComponentFn UnaryFunction) Music.kif 912-912 LyricalComponentFn è un' istanza di FunzioneUnaria
(range LyricalComponentFn LyricalContent) Music.kif 918-918 rango di LyricalComponentFn è un'istanza di 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