SouthernSouthAmerica
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 174-174 | geographicSubregion SouthernSouthAmerica and SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 250-250 | geographicSubregion SouthernSouthAmerica and SouthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 249-249 | geographicSubregion SouthernSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 98-98 | SouthernSouthAmerica est une instance de secteur g�ographique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 513-513 | geographicSubregion Argentina and SouthernSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 515-515 | geographicSubregion Chile and SouthernSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 517-517 | geographicSubregion FalklandIslands and SouthernSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 518-518 | geographicSubregion SouthGeorgiaAndTheSouthSandwichIslands and SouthernSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 519-519 | geographicSubregion Uruguay and SouthernSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 129-129 | SouthernSouthAmerica s'appele nom "Southern South America" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54260-54260 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54259-54259 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54258-54258 |