| ChristianService(christian service) | | Mass, church, church_service, kerugma, kerygma |
| appearance as argument number 1 |
|
|
| (subclass ChristianService ReligiousService) | People.kif 779-779 | Christian service is a subclass of religious service |
| (documentation ChristianService EnglishLanguage "Any ReligiousService that is conducted by members of Christianity.") | People.kif 780-781 | Christian service is a subclass of religious service |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity)) |
People.kif 783-788 | If X is an instance of christian service, Y is an agent of X, and Y is an instance of human, then Y is a member of christianity |
| consequent |
|
|
| (=> (instance ?C Church) (exists (?P ?CS) (and (instance ?CS ChristianService) (agent ?CS ?P) (member ?P ?C)))) |
People.kif 805-811 | If X is an instance of church, then there exist Y, Z such that Z is an instance of christian service, Y is an agent of Z, and Y is a member of X |
|
|
|