| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10579-10579 | 子類 ReligiousProcess and OrganizationalProcess |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 51-51 | 子類 伊斯蘭激進分子 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7984-7984 | 子類 宗教服務 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7991-7991 | 子類 施洗 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8002-8002 | 子類 祈禱 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16024-16024 | 子類 ReligiousFuneral and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 54-54 | 子類 ReligiousWedding and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 66-66 | 子類 BarMitzvah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 96-96 | 子類 BatMitzvah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 127-127 | 子類 Ordaining and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 120-120 | 子類 朝覲 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | 子類 伊赫拉姆時期 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 184-184 | 子類 umrah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 195-195 | 子類 天課 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 242-242 | 子類 udhiyah儀式 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | 子類 宰牲節 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 324-324 | 子類 aqiqah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 344-344 | 子類 契丹 and ReligiousProcess |
|
|