No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 964-964 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5290-5290 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5288-5288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5129-5129 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5287-5287 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5291-5291 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5289-5289 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 960-960 |
Kansas e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 961-961 |
Kansas encontra Colorado |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 963-963 |
Kansas encontra Oklahoma |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 962-962 |
Kansas encontra Texas |