| (subclass ReligiousService ReligiousProcess) | Mid-level-ontology.kif 7985-7985 | ReligiousService は 宗教的プロセス の subclass では %n |
| (subclass ReligiousService Demonstrating) | Mid-level-ontology.kif 7986-7986 | ReligiousService は Demonstrating の subclass では %n |
| (subclass ChristianService ReligiousService) | People.kif 779-779 | ChristianService は ReligiousService の subclass では %n |
|
|