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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(instance NationalAnthemFn UnaryFunction) Music.kif 948-948
(range NationalAnthemFn Music) Music.kif 955-955

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

antecedent
-------------------------


(=>
    (equal ?M
        (NationalAnthemFn ?N))
    (anthem ?M ?N))
Music.kif 957-959


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



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