| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 324-324 |
子類 aqiqah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7992-7992 |
子類 施洗 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 66-66 |
子類 BarMitzvah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 96-96 |
子類 BatMitzvah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 272-272 |
子類 宰牲節 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 120-120 |
子類 朝覲 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 169-169 |
子類 伊赫拉姆時期 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 51-51 |
子類 伊斯蘭激進分子 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 344-344 |
子類 契丹 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 127-127 |
子類 Ordaining and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8003-8003 |
子類 祈禱 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16025-16025 |
子類 ReligiousFuneral and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7985-7985 |
子類 宗教服務 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
Biography.kif 54-54 |
子類 ReligiousWedding and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 242-242 |
子類 udhiyah儀式 and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 184-184 |
子類 umrah and ReligiousProcess |
| No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 195-195 |
子類 天課 and ReligiousProcess |
| 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 |
ReligiousProcess