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 | Ohio e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1076-1076 | Ohio encontra Canada |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1074-1074 | Ohio encontra Indiana |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1073-1073 | Ohio encontra Kentucky |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1075-1075 | Ohio encontra Michigan |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 858-858 | capitalCity ColumbusOhio and Ohio |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1089-1089 | Pennsylvania encontra Ohio |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1146-1146 | WestVirginia encontra Ohio |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 854-854 | ClevelandOhio e' uma &parte de Ohio |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41918-41918 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41917-41917 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41916-41916 |