| ReligiousService(宗教服务) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8014-8016 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8013-8013 | 宗教服务 是 示范 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8012-8012 | 宗教服务 是 宗教过程 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 779-779 | 基督徒服务 是 宗教服务 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49438-49438 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49437-49437 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49436-49436 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 87-92 |
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 117-122 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16055-16060 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15969-15974 | |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 56-61 |
|
|
|
|