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. |
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. |
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. |
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 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. |
TransnationalIssues.kif 51-51 |
IslamicMilitancy 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 |
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. |
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. |
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. |
Biography.kif 54-54 |
ReligiousWedding 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 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. |
chinese_format.kif 1096-1096 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1403-1403 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 774-774 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 306-306 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 309-309 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2458-2458 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 726-726 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |