| 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 7991-7991 |
施洗 是 宗教过程 的 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 8002-8002 |
祈祷 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16024-16024 |
ReligiousFuneral 是 宗教过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7984-7984 |
宗教服务 是 宗教过程 的 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 |
