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 1325-1326
No TPTP formula. May not be expressible in strict first order. People.kif 1324-1324 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 1340-1340 Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1354-1354 Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1369-1369 Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1388-1388 Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31157-31157 Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31156-31156 Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31155-31155 Sunni sect is a proper sub-collection of islam

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


No TPTP formula. May not be expressible in strict first order. People.kif 1331-1333 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