No TPTP formula. May not be expressible in strict first order. |
People.kif 754-754 |
巴哈 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 766-766 |
佛教徒 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1303-1303 |
儒 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1315-1315 |
印度教 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1407-1407 |
耆那教 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1327-1327 |
穆斯林 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1453-1453 |
Neopaganismist 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1424-1424 |
宗教的犹太人 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1468-1468 |
神道教 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1483-1483 |
锡克教 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1498-1498 |
道 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1513-1513 |
拜火教 是 宗教属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 791-791 |
基督教 是 宗教属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49394-49394 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49393-49393 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49392-49392 |
|