Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DruzeSect(druze sect) |
| appearance as argument number 1 |
|
| (instance DruzeSect BeliefGroup) | People.kif 1387-1387 | Druze sect is an instance of belief group |
| (subCollection DruzeSect Islam) | People.kif 1388-1388 | Druze sect is a proper sub-collection of islam |
| (documentation DruzeSect EnglishLanguage "The DruzeSect is one of four major divisions of Islam.") | People.kif 1389-1390 | Druze sect is a proper sub-collection of islam |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1396-1398 | Druze muslim is an attribute of X if and only if X is a member of druze sect |
|