| EasternOrthodoxChristianity(eastern orthodox christianity) | | Eastern_Catholicism, Eastern_Orthodox, Greek_Orthodox, Orthodox, Russian_Orthodox |
| appearance as argument number 1 |
|
|
| (documentation EasternOrthodoxChristianity EnglishLanguage "EasternOrthodoxChristianity is one of the three major divisions of Christianity.") | People.kif 1240-1241 | |
| (instance EasternOrthodoxChristianity BeliefGroup) | People.kif 1238-1238 | Eastern orthodox christianity is an instance of belief group |
| (subCollection EasternOrthodoxChristianity Christianity) | People.kif 1239-1239 | Eastern orthodox christianity is a proper sub-collection of christianity |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EasternOrthodoxChristianity "东正教基督教") | domainEnglishFormat.kif 20950-20950 | |
| (termFormat ChineseTraditionalLanguage EasternOrthodoxChristianity "東正教基督教") | domainEnglishFormat.kif 20949-20949 | |
| (termFormat EnglishLanguage EasternOrthodoxChristianity "eastern orthodox christianity") | domainEnglishFormat.kif 20948-20948 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1247-1249 | Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity |
|
|
|