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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Zoroastrianism
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 1511-1512
(instance Zoroastrianism BeliefGroup) People.kif 1510-1510

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


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

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


(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))		 People.kif 1519-1521


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