![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation ReligiousService EnglishLanguage "A formal process of public worship which is typically carried out in a church, temple or other sanctified building and which typically accords with a prescribed set of rules.") | Mid-level-ontology.kif 9154-9156 | |
(subclass ReligiousService Demonstrating) | Mid-level-ontology.kif 9153-9153 | |
(subclass ReligiousService ReligiousProcess) | Mid-level-ontology.kif 9152-9152 |
appearance as argument number 2 |
![]() |
(subclass ChristianService ReligiousService) | People.kif 779-779 | |
(termFormat ChineseLanguage ReligiousService "宗教服务") | domainEnglishFormat.kif 49440-49440 | |
(termFormat ChineseTraditionalLanguage ReligiousService "宗教服務") | domainEnglishFormat.kif 49439-49439 | |
(termFormat EnglishLanguage ReligiousService "religious service") | domainEnglishFormat.kif 49438-49438 |
consequent |
![]() |
(=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 89-94 | |
(=> (instance ?MIT BatMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 120-125 | |
(=> (instance ?RF ReligiousFuneral) (exists (?S) (and (instance ?S ReligiousService) (subProcess ?S ?RF)))) |
Mid-level-ontology.kif 17415-17420 | |
(=> (instance ?SERMON Sermon) (exists (?SERVICE) (and (instance ?SERVICE ReligiousService) (subProcess ?SERMON ?SERVICE)))) |
Mid-level-ontology.kif 17329-17334 | |
(=> (instance ?WED ReligiousWedding) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?WED)))) |
Biography.kif 57-62 |
![]() |
![]() |