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 1507-1508
(instance Zoroastrianism BeliefGroup) People.kif 1506-1506

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


(termFormat EnglishLanguage Zoroastrianism "zoroastrianism") domainEnglishFormat.kif 11133-11133

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


(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1515-1517


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners