|
|
  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 | 例 羅德島 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1092-1092 | 部分 羅德島 and 新英格蘭 |
| 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 | 空間的符合 馬薩諸塞 and 羅德島 |
| 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 |
|
|
|
