| Islam(伊斯兰教) | |
| 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 1326-1327 | |
| (instance Islam BeliefGroup) | People.kif 1325-1325 | 伊斯兰教 是 信仰团体 的 instance |
| appearance as argument number 2 |
|
|
| (subCollection AhmadiyyaSect Islam) | People.kif 1341-1341 | Ahmadiyya教派 是 伊斯兰教 的 真正的子集 |
| (subCollection DruzeSect Islam) | People.kif 1355-1355 | 德鲁兹教派 是 伊斯兰教 的 真正的子集 |
| (subCollection ShiiteSect Islam) | People.kif 1370-1370 | 什叶派 是 伊斯兰教 的 真正的子集 |
| (subCollection SunniSect Islam) | People.kif 1389-1389 | 逊尼派 是 伊斯兰教 的 真正的子集 |
| (termFormat ChineseLanguage Islam "伊斯兰教") | domainEnglishFormat.kif 31027-31027 | |
| (termFormat ChineseTraditionalLanguage Islam "伊斯蘭教") | domainEnglishFormat.kif 31026-31026 | |
| (termFormat EnglishLanguage Islam "islam") | domainEnglishFormat.kif 31025-31025 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1332-1334 | 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member |
|
|
|