No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 949-949 |
Illinois rencontre Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 958-958 |
Iowa rencontre Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 967-967 |
Kentucky rencontre Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1108-1108 |
Tennessee rencontre Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
KansasCityMissouri est une partie de Missouri |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 783-783 |
SaintLouisMissouri est une partie 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 |
|