|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2662-2662 | "BJ" 在 ISO-3166-1-alpha-2 denotes 贝宁 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2845-2845 | "BM" 在 ISO-3166-1-alpha-2 denotes 百慕大 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2663-2663 | "BN" 在 ISO-3166-1-alpha-2 denotes 文莱 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2664-2664 | "BO" 在 ISO-3166-1-alpha-2 denotes 玻利维亚 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2665-2665 | "BR" 在 ISO-3166-1-alpha-2 denotes 巴西 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2666-2666 | "BS" 在 ISO-3166-1-alpha-2 denotes 巴哈马 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2667-2667 | "BT" 在 ISO-3166-1-alpha-2 denotes 不丹 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2846-2846 | "BV" 在 ISO-3166-1-alpha-2 denotes 布维岛 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2668-2668 | "BW" 在 ISO-3166-1-alpha-2 denotes 博茨瓦纳 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2669-2669 | "BY" 在 ISO-3166-1-alpha-2 denotes 白俄罗斯 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2670-2670 | "BZ" 在 ISO-3166-1-alpha-2 denotes 伯利兹 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2671-2671 | "CA" 在 ISO-3166-1-alpha-2 denotes 加拿大 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2850-2850 | "CC" 在 ISO-3166-1-alpha-2 denotes 科科斯基林群岛 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2672-2672 | "CD" 在 ISO-3166-1-alpha-2 denotes 刚果民主共和国 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2673-2673 | "CF" 在 ISO-3166-1-alpha-2 denotes 中非共和国 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2819-2819 | "CH" 在 ISO-3166-1-alpha-2 denotes 瑞士 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2675-2675 | "CI" 在 ISO-3166-1-alpha-2 denotes 科特迪瓦科特迪瓦 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2851-2851 | "CK" 在 ISO-3166-1-alpha-2 denotes 库克群岛 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2676-2676 | "CL" 在 ISO-3166-1-alpha-2 denotes 智利 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2677-2677 | "CM" 在 ISO-3166-1-alpha-2 denotes 喀麦隆 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2678-2678 | "CN" 在 ISO-3166-1-alpha-2 denotes 中国 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2679-2679 | "CO" 在 ISO-3166-1-alpha-2 denotes 哥伦比亚 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2680-2680 | "CR" 在 ISO-3166-1-alpha-2 denotes 哥斯达黎加 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2682-2682 | "CU" 在 ISO-3166-1-alpha-2 denotes 古巴 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2681-2681 | "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