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 The number 1 argument of national anthem is an instance of nation
(instance NationalAnthemFn UnaryFunction) Music.kif 948-948 National anthem is an instance of unary function
(range NationalAnthemFn Music) Music.kif 955-955 The range of national anthem is an instance of music

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 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 is open source software produced by Articulate Software and its partners