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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Zoroastrianism
Zoroastrianism(zoroastrianism)Mazdaism, Zoroastrianism

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


(documentation Zoroastrianism EnglishLanguage "Zoroastrianism is one of the major religions to emerge from the ancient near east.") People.kif 1509-1510
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508 Zoroastrianism is an instance of belief group

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


(termFormat ChineseLanguage Zoroastrianism "拜火教") domainEnglishFormat.kif 64237-64237
(termFormat ChineseTraditionalLanguage Zoroastrianism "拜火教") domainEnglishFormat.kif 64236-64236
(termFormat EnglishLanguage Zoroastrianism "zoroastrianism") domainEnglishFormat.kif 64235-64235

consequent
-------------------------


(<=>
    (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