No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4244-4244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5164-5164 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4241-4241 |
RedRiver e' uma instancia de River |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4242-4242 |
RedRiver e' uma &parte de MississippiRiver |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4243-4243 |
RedRiver e' uma &parte de UnitedStates |