|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2849-2849 | "CX" 在 ISO-3166-1-alpha-2 denotes 聖誕島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2683-2683 | "CY" 在 ISO-3166-1-alpha-2 denotes 塞浦路斯 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2684-2684 | "CZ" 在 ISO-3166-1-alpha-2 denotes 捷克共和國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2685-2685 | "DE" 在 ISO-3166-1-alpha-2 denotes 德國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2686-2686 | "DJ" 在 ISO-3166-1-alpha-2 denotes 吉布提 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2687-2687 | "DK" 在 ISO-3166-1-alpha-2 denotes 丹麥 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2688-2688 | "DM" 在 ISO-3166-1-alpha-2 denotes 多米尼加 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2689-2689 | "DO" 在 ISO-3166-1-alpha-2 denotes 多明尼加共和國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2690-2690 | "DZ" 在 ISO-3166-1-alpha-2 denotes 阿爾及利亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2691-2691 | "EC" 在 ISO-3166-1-alpha-2 denotes 厄瓜多爾 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2692-2692 | "EE" 在 ISO-3166-1-alpha-2 denotes 愛沙尼亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2693-2693 | "EG" 在 ISO-3166-1-alpha-2 denotes 埃及 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2887-2887 | "EH" 在 ISO-3166-1-alpha-2 denotes 西撒哈拉 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2694-2694 | "ER" 在 ISO-3166-1-alpha-2 denotes 厄立特里亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2815-2815 | "ES" 在 ISO-3166-1-alpha-2 denotes 西班牙 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2695-2695 | "ET" 在 ISO-3166-1-alpha-2 denotes 埃塞俄比亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2696-2696 | "FI" 在 ISO-3166-1-alpha-2 denotes 芬蘭 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2697-2697 | "FJ" 在 ISO-3166-1-alpha-2 denotes 斐 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2852-2852 | "FK" 在 ISO-3166-1-alpha-2 denotes 福克蘭群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2698-2698 | "FM" 在 ISO-3166-1-alpha-2 denotes 密克羅尼西亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2853-2853 | "FO" 在 ISO-3166-1-alpha-2 denotes 法羅群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2699-2699 | "FR" 在 ISO-3166-1-alpha-2 denotes 法國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2700-2700 | "GA" 在 ISO-3166-1-alpha-2 denotes 加蓬 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2701-2701 | "GB" 在 ISO-3166-1-alpha-2 denotes 英國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2702-2702 | "GD" 在 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