|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2664-2664 | "BJ" 在 ISO_3166_1_alpha_2 denotes 貝寧 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2847-2847 | "BM" 在 ISO_3166_1_alpha_2 denotes 百慕大 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2665-2665 | "BN" 在 ISO_3166_1_alpha_2 denotes 文萊 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2666-2666 | "BO" 在 ISO_3166_1_alpha_2 denotes 玻利維亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2667-2667 | "BR" 在 ISO_3166_1_alpha_2 denotes 巴西 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2668-2668 | "BS" 在 ISO_3166_1_alpha_2 denotes 巴哈馬 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2669-2669 | "BT" 在 ISO_3166_1_alpha_2 denotes 不丹 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2848-2848 | "BV" 在 ISO_3166_1_alpha_2 denotes 布維島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2670-2670 | "BW" 在 ISO_3166_1_alpha_2 denotes 博茨瓦納 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2671-2671 | "BY" 在 ISO_3166_1_alpha_2 denotes 白俄羅斯 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2672-2672 | "BZ" 在 ISO_3166_1_alpha_2 denotes 伯利茲 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2673-2673 | "CA" 在 ISO_3166_1_alpha_2 denotes 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2852-2852 | "CC" 在 ISO_3166_1_alpha_2 denotes 科科斯基林群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2674-2674 | "CD" 在 ISO_3166_1_alpha_2 denotes 剛果民主共和國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2675-2675 | "CF" 在 ISO_3166_1_alpha_2 denotes 中非共和國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2821-2821 | "CH" 在 ISO_3166_1_alpha_2 denotes 瑞士 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2677-2677 | "CI" 在 ISO_3166_1_alpha_2 denotes 科特迪瓦科特迪瓦 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2853-2853 | "CK" 在 ISO_3166_1_alpha_2 denotes 庫克群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2678-2678 | "CL" 在 ISO_3166_1_alpha_2 denotes 智利 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2679-2679 | "CM" 在 ISO_3166_1_alpha_2 denotes 喀麥隆 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2680-2680 | "CN" 在 ISO_3166_1_alpha_2 denotes 中國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2681-2681 | "CO" 在 ISO_3166_1_alpha_2 denotes 哥倫比亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2682-2682 | "CR" 在 ISO_3166_1_alpha_2 denotes 哥斯達黎加 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2684-2684 | "CU" 在 ISO_3166_1_alpha_2 denotes 古巴 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2683-2683 | "CV" 在 ISO_3166_1_alpha_2 denotes 佛得角 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners