|
|
  SunniSect
|
|
|
| appearance as argument number 1 |
|
|
| (instance SunniSect BeliefGroup) | People.kif 1421-1421 | Sunni sect is an instance of belief group |
| (subCollection SunniSect Islam) | People.kif 1422-1422 | Sunni sect is a proper sub-collection of islam |
| (documentation SunniSect EnglishLanguage "The SunniSect is one of four major divisions of Islam.") | People.kif 1423-1424 | Sunni sect is a proper sub-collection of islam |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1431-1433 | Sunni muslim is an attribute of X if and only if X is a member of sunni sect |
|