MaidanSharAfghanistan(maidan shar 阿富汗) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2001-2001 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3170-3170 | Maidan shar 阿富汗 是 阿富汗 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2000-2000 | 例 maidan shar 阿富汗 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3171-3171 | 名 "Maidan Shar" and maidan shar 阿富汗 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35657-35657 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35656-35656 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35655-35655 |