![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
EasternOrthodoxChristian(eastern orthodox christian)
more pictures... | Greek_Catholic |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (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 |