|
|
  Ohio
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1077-1078 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 639-639 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1072-1072 | 例 俄亥俄州 and 美國國家 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1076-1076 | 空間的符合 俄亥俄州 and 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1074-1074 | 空間的符合 俄亥俄州 and Indiana |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | 空間的符合 俄亥俄州 and 肯塔基 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1075-1075 | 空間的符合 俄亥俄州 and 密歇根州 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 858-858 | 俄亥俄州 是 哥倫布俄亥俄州 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1089-1089 | 空間的符合 賓夕法尼亞 and 俄亥俄州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1146-1146 | 空間的符合 WestVirginia and 俄亥俄州 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 854-854 | 部分 克利夫蘭俄亥俄州 and 俄亥俄州 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41916-41916 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41915-41915 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41914-41914 |
|
|
|
