No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 771-771 |
罗德岛 是 天意罗德岛 的 capital 城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 993-993 |
马萨诸塞 接上 罗德岛 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49910-49910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49909-49909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49908-49908 |
|