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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Islam

Sigma KEE - Islam
Islam(islam)Akhbari, Islam, Islam_Nation, Islamic_Ummah, Islamism, Mohammedanism, Muhammadanism, Muslim_Ummah, Muslimism, Nation_of_Islam, Northern_Alliance, Salafi_movement, Salafism, Shiism, Taleban, Taliban, Umma, Ummah, United_Front, Usuli, Wahabism, Wahhabism

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


s__documentation(s__Islam,s__EnglishLanguage,'"A BeliefGroup that includes worship of Allah as the sole diety and in Muhammad as his prophet."')

People.kif 1331-1332
s__instance(s__Islam,s__BeliefGroup)

s__instance(s__BeliefGroup,s__Class)

People.kif 1330-1330 Islam is an instance of belief group

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


s__subCollection(s__AhmadiyyaSect,s__Islam)

People.kif 1346-1346 Ahmadiyya sect is a proper sub-collection of islam
s__subCollection(s__DruzeSect,s__Islam)

People.kif 1360-1360 Druze sect is a proper sub-collection of islam
s__subCollection(s__ShiiteSect,s__Islam)

People.kif 1375-1375 Shiite sect is a proper sub-collection of islam
s__subCollection(s__SunniSect,s__Islam)

People.kif 1394-1394 Sunni sect is a proper sub-collection of islam
s__termFormat(s__ChineseLanguage,s__Islam,'"伊斯兰教"')

domainEnglishFormat.kif 31116-31116
s__termFormat(s__ChineseTraditionalLanguage,s__Islam,'"伊斯蘭教"')

domainEnglishFormat.kif 31115-31115
s__termFormat(s__EnglishLanguage,s__Islam,'"islam"')

domainEnglishFormat.kif 31114-31114

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


( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Muslim) =>
             s__member(V__INDIVIDUAL,s__Islam))
           &
           (s__member(V__INDIVIDUAL,s__Islam) =>
             s__attribute(V__INDIVIDUAL,s__Muslim)))))
     )
   )

People.kif 1337-1339 Muslim is an attribute of an object if and only if the object is a member of islam


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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