|
|
  AluminumFoundriesExceptDieCasting
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3153-3153 | 岡比亞達拉西 是 岡比亞 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1241-1241 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 650-650 | 發展中國家 是 岡比亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 266-266 | 較未發達國家 是 岡比亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 455-455 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 205-205 | 岡比亞 是 西非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 206-206 | 例 岡比亞 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3986-3986 | 名 "Gambia" and 岡比亞 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25412-25412 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25411-25411 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25410-25410 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2706-2706 | "GM" 在 ISO-3166-1-alpha-2 denotes 岡比亞 |
|
|
|
