| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10579-10579 | Processo Religioso e' uma sub-classe de Processo Organizacional |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 51-51 | IslamicMilitancy e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7984-7984 | ReligiousService e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7991-7991 | Baptizing e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8002-8002 | Praying e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16024-16024 | ReligiousFuneral e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 54-54 | ReligiousWedding e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 66-66 | BarMitzvah e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 96-96 | BatMitzvah e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 127-127 | Ordaining e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 120-120 | Hajj e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | IhramPeriod e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 184-184 | Umrah e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 195-195 | Zakat e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 242-242 | UdhiyahRitual e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | EidAladha e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 324-324 | Aqiqah e' uma sub-classe de Processo Religioso |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 344-344 | Khitan e' uma sub-classe de Processo Religioso |
|
|