No TPTP formula. May not be expressible in strict first order. |
People.kif 754-754 |
例 巴哈 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 766-766 |
例 佛教徒 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1303-1303 |
例 儒 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1315-1315 |
例 印度教 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1407-1407 |
例 耆那教 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1327-1327 |
例 穆斯林 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1453-1453 |
例 neopaganismist and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1424-1424 |
例 宗教的猶太人 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1468-1468 |
例 神道教 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1483-1483 |
例 錫克教 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1498-1498 |
例 道 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1513-1513 |
例 拜火教 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 791-791 |
子類 基督教 and 宗教屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49396-49396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49395-49395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49394-49394 |
|