| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | 宗教过程 是 机构性过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 51-51 | 伊斯兰激进分子 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | 宗教服务 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7992-7992 | 施洗 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8003-8003 | 祈祷 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16025-16025 | ReligiousFuneral 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 54-54 | ReligiousWedding 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 66-66 | BarMitzvah 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 96-96 | BatMitzvah 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 127-127 | Ordaining 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 120-120 | 朝觐 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | 伊赫拉姆时期 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 184-184 | Umrah 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 195-195 | 天课 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 242-242 | Udhiyah仪式 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | 宰牲节 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 324-324 | Aqiqah 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 344-344 | 契丹 是 宗教过程 的 subclass |
|
|