No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 324-324 |
Aqiqah 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7992-7992 |
施洗 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 66-66 |
BarMitzvah 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 96-96 |
BatMitzvah 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 272-272 |
宰牲节 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 120-120 |
朝觐 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 169-169 |
伊赫拉姆时期 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 51-51 |
伊斯兰激进分子 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 344-344 |
契丹 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 127-127 |
Ordaining 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8003-8003 |
祈祷 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16025-16025 |
ReligiousFuneral 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7985-7985 |
宗教服务 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 54-54 |
ReligiousWedding 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 242-242 |
Udhiyah仪式 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 184-184 |
Umrah 是 宗教过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 195-195 |
天课 是 宗教过程 的 subclass |
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 |