|
|
  Islam
|
|
|
| appearance as argument number 1 |
|
|
| (instance Islam BeliefGroup) | People.kif 1358-1358 | Islam is an instance of belief group |
| (documentation Islam EnglishLanguage "A BeliefGroup that includes worship of Allah as the sole diety and in Muhammad as his prophet.") | People.kif 1359-1360 | Islam is an instance of belief group |
| appearance as argument number 2 |
|
|
| (subCollection AhmadiyyaSect Islam) | People.kif 1374-1374 | Ahmadiyya sect is a proper sub-collection of islam |
| (subCollection DruzeSect Islam) | People.kif 1388-1388 | Druze sect is a proper sub-collection of islam |
| (subCollection ShiiteSect Islam) | People.kif 1403-1403 | Shiite sect is a proper sub-collection of islam |
| (subCollection SunniSect Islam) | People.kif 1422-1422 | Sunni sect is a proper sub-collection of islam |
| (termFormat EnglishLanguage Islam "islam") | domainEnglishFormat.kif 31131-31131 | Sunni sect is a proper sub-collection of islam |
| (termFormat ChineseTraditionalLanguage Islam "伊斯蘭教") | domainEnglishFormat.kif 31132-31132 | Sunni sect is a proper sub-collection of islam |
| (termFormat ChineseLanguage Islam "伊斯兰教") | domainEnglishFormat.kif 31133-31133 | Sunni sect is a proper sub-collection of islam |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1365-1367 | Muslim is an attribute of X if and only if X is a member of islam |
|