| ChristianService(christian service) | | Mass, church, church_service, kerugma, kerygma |
| appearance as argument number 1 |
|
|
| (documentation ChristianService EnglishLanguage "Any ReligiousService that is conducted by members of Christianity.") | People.kif 780-781 | |
| (subclass ChristianService ReligiousService) | People.kif 779-779 | Christian service is a subclass of religious service |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChristianService "基督徒服务") | domainEnglishFormat.kif 14752-14752 | |
| (termFormat ChineseTraditionalLanguage ChristianService "基督徒服務") | domainEnglishFormat.kif 14751-14751 | |
| (termFormat EnglishLanguage ChristianService "christian service") | domainEnglishFormat.kif 14750-14750 |
| antecedent |
|
|
| (=> (and (instance ?SERVICE ChristianService) (agent ?SERVICE ?PERSON) (instance ?PERSON Human)) (member ?PERSON Christianity)) |
People.kif 783-788 |
|
| consequent |
|
|
| (=> (instance ?C Church) (exists (?P ?CS) (and (instance ?CS ChristianService) (agent ?CS ?P) (member ?P ?C)))) |
People.kif 805-811 |
|
|
|
|