No TPTP formula. May not be expressible in strict first order. |
People.kif 1209-1209 |
方丈 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1381-1381 |
阿亚图拉 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 826-826 |
主教 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1294-1294 |
根本 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1133-1133 |
牧师 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20886-20886 |
牧师 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20897-20897 |
执事 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 680-680 |
僧 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1287-1287 |
教皇 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1432-1432 |
拉比 是 宗教立场 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49430-49430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49429-49429 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49428-49428 |
|