No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 495-495 |
Bolivia is a geographic subregion of central south america |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 497-497 |
Paraguay is a geographic subregion of central south america |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 126-126 |
Central south america has name "Central South America" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13896-13896 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13895-13895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13894-13894 |
|