| SunniSect(sunni sect) | | Sunni, Sunni_Islam |
| appearance as argument number 1 |
|
|
| (documentation SunniSect EnglishLanguage "The SunniSect is one of four major divisions of Islam.") | People.kif 1388-1389 | |
| (instance SunniSect BeliefGroup) | People.kif 1386-1386 | Sunni sect is an instance of belief group |
| (subCollection SunniSect Islam) | People.kif 1387-1387 | Sunni sect is a proper sub_collection of islam |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SunniSect "逊尼派") | domainEnglishFormat.kif 56128-56128 | |
| (termFormat ChineseTraditionalLanguage SunniSect "遜尼派") | domainEnglishFormat.kif 56127-56127 | |
| (termFormat EnglishLanguage SunniSect "sunni sect") | domainEnglishFormat.kif 56126-56126 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1396-1398 | Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect |
|
|
|