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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Zoroastrian
Zoroastrian(zoroastrian)
Zoroastrian

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


(documentation Zoroastrian EnglishLanguage "A Zoroastrian is one who subscribes to the beliefs of Zoroastrianism.") People.kif 1514-1515
(externalImage Zoroastrian "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Darius_I_the_Great%27s_inscription.jpg") pictureList.kif 6993-6993
(externalImage Zoroastrian "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Et_baal.jpg") pictureList.kif 8315-8315
(externalImage Zoroastrian "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Ateshkadeh_yazd.jpg") pictureList.kif 8316-8316
(externalImage Zoroastrian "http://upload.wikimedia.org/wikipedia/commons/ e/ e8/ Parsi-navjote-sitting.jpg") pictureList.kif 8317-8317
(instance Zoroastrian ReligiousAttribute) People.kif 1513-1513 Zoroastrian is an instance of religious attribute

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


(termFormat ChineseLanguage Zoroastrian "拜火教") domainEnglishFormat.kif 64279-64279
(termFormat ChineseTraditionalLanguage Zoroastrian "拜火教") domainEnglishFormat.kif 64278-64278
(termFormat EnglishLanguage Zoroastrian "zoroastrian") domainEnglishFormat.kif 64277-64277

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


(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1517-1519 Zoroastrian is an attribute of an object if and only if the object is a member of zoroastrianism


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