|
|
  SouthwesternAsia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6883-6883 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7948-7948 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 184-184 | 西南亞 是 亞洲 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 272-272 | 西南亞 是 東半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 273-273 | 西南亞 是 北半球 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 105-105 | 例 西南亞 and GeographicArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 630-630 | 亞美尼亞 是 西南亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 632-632 | 阿塞拜疆 是 西南亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 634-634 | 格魯吉亞共和國 是 西南亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 136-136 | 名 "Southwestern Asia" and 西南亞 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54342-54342 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54341-54341 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54340-54340 |
|
|
|
