No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 495-495 |
geographicSubregion Bolivia and CentralSouthAmerica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 497-497 |
geographicSubregion Paraguay and CentralSouthAmerica |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 126-126 |
CentralSouthAmerica s'appele nom "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 |
|