| 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 |
|
|
| (documentation Islam EnglishLanguage "A BeliefGroup that includes worship of Allah as the sole diety and in Muhammad as his prophet.") | People.kif 1324-1325 | |
| (instance Islam BeliefGroup) | People.kif 1323-1323 | Islam is an instance of belief group |
| appearance as argument number 2 |
|
|
| (subCollection AhmadiyyaSect Islam) | People.kif 1339-1339 | Ahmadiyya sect is a proper sub-collection of islam |
| (subCollection DruzeSect Islam) | People.kif 1353-1353 | Druze sect is a proper sub-collection of islam |
| (subCollection ShiiteSect Islam) | People.kif 1368-1368 | Shiite sect is a proper sub-collection of islam |
| (subCollection SunniSect Islam) | People.kif 1387-1387 | Sunni sect is a proper sub-collection of islam |
| (termFormat ChineseLanguage Islam "伊斯兰教") | domainEnglishFormat.kif 31163-31163 | Sunni sect is a proper sub-collection of islam |
| (termFormat ChineseTraditionalLanguage Islam "伊斯蘭教") | domainEnglishFormat.kif 31162-31162 | Sunni sect is a proper sub-collection of islam |
| (termFormat EnglishLanguage Islam "islam") | domainEnglishFormat.kif 31161-31161 | Sunni sect is a proper sub-collection of islam |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1330-1332 | Muslim is an attribute of an object if and only if the object is a member of islam |
|
|
|