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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NationalAnthemFn

Sigma KEE - NationalAnthemFn
NationalAnthemFn

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


(documentation NationalAnthemFn EnglishLanguage "The function (NationalAnthemFn ?N) returns the instance of Music that is considered as the national anthem of a particular Nation ?N") Music.kif 949-951
(domain NationalAnthemFn 1 Nation) Music.kif 954-954 Le nombre 1 argument de NationalAnthemFn est une instance de nation
(instance NationalAnthemFn UnaryFunction) Music.kif 948-948 NationalAnthemFn est une instance de function unaire
(range NationalAnthemFn Music) Music.kif 955-955 Le domaine de NationalAnthemFn est une instance de musique

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


(format ChineseLanguage NationalAnthemFn "%1 的 national anthem ") domainEnglishFormat.kif 3958-3958
(format ChineseTraditionalLanguage NationalAnthemFn "%1 的 national anthem ") domainEnglishFormat.kif 3957-3957
(format EnglishLanguage NationalAnthemFn "the national anthem of %1") domainEnglishFormat.kif 3956-3956
(termFormat EnglishLanguage NationalAnthemFn "national anthem") Music.kif 952-952

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