|
|
  WesternSouthAmerica
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 175-175 | 西南美洲 是 南美洲 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 252-252 | 西南美洲 是 西半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 99-99 | 例 西南美洲 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 253-253 | 在空間上重疊 西南美洲 and 北半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 254-254 | 在空間上重疊 西南美洲 and 南半球 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 522-522 | 厄瓜多爾 是 西南美洲 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 524-524 | 秘魯 是 西南美洲 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 130-130 | 名 "Western South America" and 西南美洲 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62847-62847 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62846-62846 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62845-62845 |
|
|
|