| ReligiousService | |
| 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 8205-8207 | |
| (subclass ReligiousService Demonstrating) | Mid-level-ontology.kif 8204-8204 | |
| (subclass ReligiousService ReligiousProcess) | Mid-level-ontology.kif 8203-8203 |
| appearance as argument number 2 |
|
|
| (subclass ChristianService ReligiousService) | People.kif 779-779 | |
| (termFormat ChineseLanguage ReligiousService "宗教服务") | domainEnglishFormat.kif 49471-49471 | |
| (termFormat ChineseTraditionalLanguage ReligiousService "宗教服務") | domainEnglishFormat.kif 49470-49470 | |
| (termFormat EnglishLanguage ReligiousService "religious service") | domainEnglishFormat.kif 49469-49469 |
| consequent |
|
|
| (=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 87-92 | |
| (=> (instance ?MIT BatMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 117-122 | |
| (=> (instance ?RF ReligiousFuneral) (exists (?S) (and (instance ?S ReligiousService) (subProcess ?S ?RF)))) |
Mid-level-ontology.kif 16246-16251 | |
| (=> (instance ?SERMON Sermon) (exists (?SERVICE) (and (instance ?SERVICE ReligiousService) (subProcess ?SERMON ?SERVICE)))) |
Mid-level-ontology.kif 16160-16165 | |
| (=> (instance ?WED ReligiousWedding) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?WED)))) |
Biography.kif 56-61 |
|
|
|