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. |
Mid-level-ontology.kif 7992-7992 |
Baptizing 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. |
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 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. |
TransnationalIssues.kif 51-51 |
IslamicMilitancy 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 |
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. |
Mid-level-ontology.kif 8003-8003 |
Praying e' uma sub-classe de Processo Religioso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16025-16025 |
ReligiousFuneral e' uma sub-classe de Processo Religioso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7985-7985 |
ReligiousService 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. |
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 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. |
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 |