No TPTP formula. May not be expressible in strict first order. | Merge.kif 10591-10591 | Processus religieux est une sous-classe de processus organisationnel |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 51-51 | IslamicMilitancy est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8012-8012 | ReligiousService est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8019-8019 | Baptizing est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8030-8030 | Praying est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16052-16052 | ReligiousFuneral est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 54-54 | ReligiousWedding est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 66-66 | BarMitzvah est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 96-96 | BatMitzvah est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 127-127 | Ordaining est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 120-120 | Hajj est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 169-169 | IhramPeriod est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 184-184 | Umrah est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 195-195 | Zakat est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 242-242 | UdhiyahRitual est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 272-272 | EidAladha est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 324-324 | Aqiqah est une sous-classe de processus religieux |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 344-344 | Khitan est une sous-classe de processus religieux |