| ChristianService | |
| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChristianService "基督徒服务") | domainEnglishFormat.kif 14736-14736 | |
| (termFormat ChineseTraditionalLanguage ChristianService "基督徒服務") | domainEnglishFormat.kif 14735-14735 | |
| (termFormat EnglishLanguage ChristianService "christian service") | domainEnglishFormat.kif 14734-14734 |
| 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 |
|
|
|