Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EasternOrthodoxChristianity(eastern orthodox christianity) |  | Eastern_Catholicism, Eastern_Orthodox, Greek_Orthodox, Orthodox, Russian_Orthodox |
| appearance as argument number 1 |
|
|
| (instance EasternOrthodoxChristianity BeliefGroup) | People.kif 1273-1273 | Eastern orthodox christianity is an instance of belief group |
| (subCollection EasternOrthodoxChristianity Christianity) | People.kif 1274-1274 | Eastern orthodox christianity is a proper sub-collection of christianity |
| (documentation EasternOrthodoxChristianity EnglishLanguage "EasternOrthodoxChristianity is one of the three major divisions of Christianity.") | People.kif 1275-1276 | Eastern orthodox christianity is a proper sub-collection of christianity |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1282-1284 | Eastern orthodox christian is an attribute of X if and only if X is a member of eastern orthodox christianity |
|