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 e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | WesternSouthAmerica engloba NorthernHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | WesternSouthAmerica engloba 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 se chama nome "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 |