WesternSouthAmerica |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 175-175 | geographicSubregion WesternSouthAmerica and SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | geographicSubregion WesternSouthAmerica and WesternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 99-99 | WesternSouthAmerica est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | WesternSouthAmerica recouvre NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica recouvre SouthernHemisphere |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 522-522 | geographicSubregion Ecuador and WesternSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 524-524 | geographicSubregion Peru and WesternSouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 130-130 | WesternSouthAmerica s'appele nom "Western South America" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62849-62849 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62848-62848 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62847-62847 |