Islam - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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

No TPTP formula. May not be expressible in strict first order.	People.kif 1324-1325
No TPTP formula. May not be expressible in strict first order.	People.kif 1323-1323	Islam is an instance of belief group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1339-1339	Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1353-1353	Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1368-1368	Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1387-1387	Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31129-31129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31128-31128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31127-31127

consequent

No TPTP formula. May not be expressible in strict first order.

People.kif 1330-1332

Muslim is an attribute of an object if and only if the object is a member of islam

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