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 |
相關的內部概念 依賴的地緣政治區域 and 主要地緣政治細分 |
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 |
|