| RhodeIsland(罗德岛)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1093-1094 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 694-694 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1091-1091 | 罗德岛 是 美国国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1092-1092 | 罗德岛 是 新英格兰 的 part |
| appearance as argument number 2 |
|
|
| 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 |
|
|
|