|
|
  SouthernAsia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7941-7941 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6880-6880 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7942-7942 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 182-182 | geographicSubregion SouthernAsia and Asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 264-264 | geographicSubregion SouthernAsia and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 103-103 | SouthernAsia e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 265-265 | SouthernAsia engloba NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 266-266 | SouthernAsia engloba SouthernHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 567-567 | geographicSubregion Afghanistan and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 569-569 | geographicSubregion Bangladesh and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 571-571 | geographicSubregion Bhutan and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 573-573 | geographicSubregion BritishIndianOceanTerritory and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 574-574 | geographicSubregion India and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 576-576 | geographicSubregion Maldives and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 578-578 | geographicSubregion Nepal and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 580-580 | geographicSubregion Pakistan and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 582-582 | geographicSubregion SriLanka and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 134-134 | SouthernAsia se chama nome "Southern Asia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54174-54174 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54173-54173 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54172-54172 |
|
|
|
