Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SunniSect(sunni sect) |  | Sunni, Sunni_Islam |
| 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 |
|