|
|
  Laos
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3265-3265 | currencyType Laos and LaotianKip |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1275-1275 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 668-668 | economyType Laos and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 284-284 | economyType Laos and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 549-549 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 612-612 | geographicSubregion Laos and SoutheasternAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 613-613 | Laos e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3647-3647 | geographicSubregion VientianeLaos and Laos |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4179-4179 | Laos se chama nome "Laos" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33331-33331 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33330-33330 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33329-33329 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2739-2739 | codeMapping ISO-3166-1-alpha-2, "LA" and Laos |
|
|
|
