| Islam | |
| appearance as argument number 1 |
|
|
| (documentation Islam EnglishLanguage "A BeliefGroup that includes worship of Allah as the sole diety and in Muhammad as his prophet.") | People.kif 1325-1326 | |
| (instance Islam BeliefGroup) | People.kif 1324-1324 | Islam est une instance de BeliefGroup |
| appearance as argument number 2 |
|
|
| (subCollection AhmadiyyaSect Islam) | People.kif 1340-1340 | AhmadiyyaSect est une sous-collection appartenant � Islam |
| (subCollection DruzeSect Islam) | People.kif 1354-1354 | DruzeSect est une sous-collection appartenant � Islam |
| (subCollection ShiiteSect Islam) | People.kif 1369-1369 | ShiiteSect est une sous-collection appartenant � Islam |
| (subCollection SunniSect Islam) | People.kif 1388-1388 | SunniSect est une sous-collection appartenant � Islam |
| (termFormat ChineseLanguage Islam "伊斯兰教") | domainEnglishFormat.kif 31140-31140 | SunniSect est une sous-collection appartenant � Islam |
| (termFormat ChineseTraditionalLanguage Islam "伊斯蘭教") | domainEnglishFormat.kif 31139-31139 | SunniSect est une sous-collection appartenant � Islam |
| (termFormat EnglishLanguage Islam "islam") | domainEnglishFormat.kif 31138-31138 | SunniSect est une sous-collection appartenant � Islam |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1331-1333 | Muslim est un attribut de objet objet est un membre de Islam |
|
|
|