No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2043-2043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2042-2042 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2041-2041 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 458-458 |
依赖的地缘政治区域 和 主要地缘政治细分 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47306-47306 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47305-47305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47304-47304 |
|