No TPTP formula. May not be expressible in strict first order. |
People.kif 1209-1209 |
例 方丈 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1381-1381 |
例 阿亞圖拉 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 826-826 |
例 主教 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1294-1294 |
例 根本 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1133-1133 |
例 牧師 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20886-20886 |
例 牧師 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20897-20897 |
例 執事 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 680-680 |
例 僧 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1287-1287 |
例 教皇 and 宗教立場 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1432-1432 |
例 拉比 and 宗教立場 |
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 |
|