WesternSouthAmerica
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 175-175 | Western south america is a geographic subregion of south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | Western south america is a geographic subregion of western hemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 99-99 | Western south america is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | Western south america and northern hemisphere overlapsSpatially |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | Western south america and southern hemisphere overlapsSpatially |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 522-522 | Ecuador is a geographic subregion of western south america |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 524-524 | Peru is a geographic subregion of western south america |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 130-130 | Western south america has name "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 |