ISO-3166-1-alpha-2 |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2643-2643 | "AD" 在 ISO-3166-1-alpha-2 denotes 安道尔 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2834-2834 | "AE" 在 ISO-3166-1-alpha-2 denotes 阿拉伯联合酋长国 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2644-2644 | "AF" 在 ISO-3166-1-alpha-2 denotes 阿富汗 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2645-2645 | "AG" 在 ISO-3166-1-alpha-2 denotes 安提瓜和巴布达 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2842-2842 | "AI" 在 ISO-3166-1-alpha-2 denotes 安圭拉 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2646-2646 | "AL" 在 ISO-3166-1-alpha-2 denotes 阿尔巴尼亚 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2647-2647 | "AM" 在 ISO-3166-1-alpha-2 denotes 亚美尼亚 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2867-2867 | "AN" 在 ISO-3166-1-alpha-2 denotes 荷属安的列斯 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2648-2648 | "AO" 在 ISO-3166-1-alpha-2 denotes 安哥拉 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2843-2843 | "AQ" 在 ISO-3166-1-alpha-2 denotes 南极洲 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2649-2649 | "AR" 在 ISO-3166-1-alpha-2 denotes 阿根廷 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2841-2841 | "AS" 在 ISO-3166-1-alpha-2 denotes 美国萨摩亚 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2650-2650 | "AT" 在 ISO-3166-1-alpha-2 denotes 奥地利 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2651-2651 | "AU" 在 ISO-3166-1-alpha-2 denotes 澳大利亚 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2844-2844 | "AW" 在 ISO-3166-1-alpha-2 denotes 阿鲁巴 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2652-2652 | "AX" 在 ISO-3166-1-alpha-2 denotes AalandIslands |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2653-2653 | "AZ" 在 ISO-3166-1-alpha-2 denotes 阿塞拜疆 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2654-2654 | "BA" 在 ISO-3166-1-alpha-2 denotes 波斯尼亚和黑塞哥维那 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2655-2655 | "BB" 在 ISO-3166-1-alpha-2 denotes 巴巴多斯 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2656-2656 | "BD" 在 ISO-3166-1-alpha-2 denotes 孟加拉国 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2657-2657 | "BE" 在 ISO-3166-1-alpha-2 denotes 比利时 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2658-2658 | "BF" 在 ISO-3166-1-alpha-2 denotes 布基纳法索 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2659-2659 | "BG" 在 ISO-3166-1-alpha-2 denotes 保加利亚 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2660-2660 | "BH" 在 ISO-3166-1-alpha-2 denotes 巴林 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2661-2661 | "BI" 在 ISO-3166-1-alpha-2 denotes 布隆迪 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65006-65006 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2889-2895 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2636-2641 |
|