|
|
  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 | geographicSubregion SouthwesternAsia and Asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 272-272 | geographicSubregion SouthwesternAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 273-273 | geographicSubregion SouthwesternAsia and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 105-105 | SouthwesternAsia e' uma instancia de Area Geografica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 630-630 | geographicSubregion Armenia and SouthwesternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 632-632 | geographicSubregion Azerbaijan and SouthwesternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 634-634 | geographicSubregion RepublicOfGeorgia and SouthwesternAsia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 136-136 | SouthwesternAsia se chama nome "Southwestern Asia" |
| 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 |
|
|
|
