No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 949-949 |
Illinois encontra Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
Iowa encontra Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 967-967 |
Kentucky encontra Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1108-1108 |
Tennessee encontra Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
KansasCityMissouri e' uma &parte de Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 783-783 |
SaintLouisMissouri e' uma &parte de 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 |
|