No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 949-949 |
Illinois meets missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
Iowa meets missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 967-967 |
Kentucky meets missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1108-1108 |
Tennessee meets missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
Kansas city missouri is a part of missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 783-783 |
Saint louis missouri is a part of missouri |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38061-38061 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38060-38060 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38059-38059 |
|