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 1509-1510
(instance Zoroastrianism BeliefGroup) People.kif 1508-1508 Zoroastrianism è un' istanza di BeliefGroup

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


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

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


(<=>
    (attribute ?INDIVIDUAL Zoroastrian)
    (member ?INDIVIDUAL Zoroastrianism))
People.kif 1517-1519 attribute Oggetto and Zoroastrian Oggetto è un membro di 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