| 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 1389-1390 | |
| (instance SunniSect BeliefGroup) | People.kif 1387-1387 | Sunni sect is an instance of belief group |
| (subCollection SunniSect Islam) | People.kif 1388-1388 | 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 1397-1399 | Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect |
|
|
|