No TPTP formula. May not be expressible in strict first order. | Merge.kif 10557-10557 | Religious process is a subclass of organizational process |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 51-51 | Islamic militancy is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7985-7985 | Religious service is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7992-7992 | Baptizing is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8003-8003 | Praying is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16025-16025 | Religious funeral is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 54-54 | ReligiousWedding is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 66-66 | BarMitzvah is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 96-96 | BatMitzvah is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 127-127 | Ordaining is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 120-120 | Hajj is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | Ihram period is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 184-184 | Umrah is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 195-195 | Zakat is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 242-242 | Udhiyah ritual is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | Eid aladha is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 324-324 | Aqiqah is a subclass of religious process |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 344-344 | Khitan is a subclass of religious process |