Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ChurchOfEngland(church of england)
|  | Church_of_Ireland |
| appearance as argument number 1 |
|
|
| (instance ChurchOfEngland AnglicanChurch) | People.kif 864-864 | Church of england is an instance of Anglican church |
| (instance ChurchOfEngland ReligiousOrganization) | People.kif 1264-1264 | Church of england is an instance of religious organization |
| (documentation ChurchOfEngland EnglishLanguage "The ChurchOfEngland is the ReligiousOrganization that promulgates Anglicanism.") | People.kif 1265-1266 | Church of england is an instance of religious organization |
| (externalImage ChurchOfEngland "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Anglican_Communion_Compass_Rose.jpg") | pictureList.kif 4604-4604 | Church of england is an instance of religious organization |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?C AnglicanChurch) (subOrganization ?C ChurchOfEngland)) |
People.kif 868-870 | If X is an instance of Anglican church, then X is a part of the organization church of england |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1268-1270 | Anglican is an attribute of X if and only if X is a member of church of england |
|