Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AhmadiyyaSect(ahmadiyya sect) |
| appearance as argument number 1 |
|
| (instance AhmadiyyaSect BeliefGroup) | People.kif 1373-1373 | Ahmadiyya sect is an instance of belief group |
| (subCollection AhmadiyyaSect Islam) | People.kif 1374-1374 | Ahmadiyya sect is a proper sub-collection of islam |
| (documentation AhmadiyyaSect EnglishLanguage "The AhmadiyyaSect is one of four major divisions of Islam.") | People.kif 1375-1376 | Ahmadiyya sect is a proper sub-collection of islam |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AhmadiyyaSect "ahmadiyya sect") | domainEnglishFormat.kif 6049-6049 | |
| (termFormat ChineseTraditionalLanguage AhmadiyyaSect "ahmadiyya教派") | domainEnglishFormat.kif 6050-6050 | |
| (termFormat ChineseLanguage AhmadiyyaSect "ahmadiyya教派") | domainEnglishFormat.kif 6051-6051 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1382-1384 | Ahmadiyya muslim is an attribute of X if and only if X is a member of ahmadiyya sect |
|