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 |
Red river is an instance of river |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4242-4242 |
Red river is a part of mississippi river |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4243-4243 |
Red river is a part of united states |