|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2703-2703 | "GE" 在 ISO-3166-1-alpha-2 denotes 格魯吉亞共和國 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2854-2854 | "GF" 在 ISO-3166-1-alpha-2 denotes 法屬圭亞那 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2704-2704 | "GG" 在 ISO-3166-1-alpha-2 denotes 根西島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2705-2705 | "GH" 在 ISO-3166-1-alpha-2 denotes 加納 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2857-2857 | "GI" 在 ISO-3166-1-alpha-2 denotes 直布羅陀 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2858-2858 | "GL" 在 ISO-3166-1-alpha-2 denotes 格陵蘭 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2706-2706 | "GM" 在 ISO-3166-1-alpha-2 denotes 岡比亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2707-2707 | "GN" 在 ISO-3166-1-alpha-2 denotes 幾內亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2859-2859 | "GP" 在 ISO-3166-1-alpha-2 denotes 瓜德羅普島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2708-2708 | "GQ" 在 ISO-3166-1-alpha-2 denotes 赤道幾內亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2709-2709 | "GR" 在 ISO-3166-1-alpha-2 denotes 希臘 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2878-2878 | "GS" 在 ISO-3166-1-alpha-2 denotes 南佐治亞和南三明治島嶼 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2710-2710 | "GT" 在 ISO-3166-1-alpha-2 denotes 危地馬拉 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2860-2860 | "GU" 在 ISO-3166-1-alpha-2 denotes 關島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2711-2711 | "GW" 在 ISO-3166-1-alpha-2 denotes 幾內亞比紹 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2712-2712 | "GY" 在 ISO-3166-1-alpha-2 denotes 圭亞那 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2862-2862 | "HK" 在 ISO-3166-1-alpha-2 denotes 香港 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2861-2861 | "HM" 在 ISO-3166-1-alpha-2 denotes 聽過島嶼和麥當勞群島 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2713-2713 | "HN" 在 ISO-3166-1-alpha-2 denotes 洪都拉斯 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2714-2714 | "HR" 在 ISO-3166-1-alpha-2 denotes 克羅地亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2715-2715 | "HT" 在 ISO-3166-1-alpha-2 denotes 海地 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2716-2716 | "HU" 在 ISO-3166-1-alpha-2 denotes 匈牙利 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2717-2717 | "ID" 在 ISO-3166-1-alpha-2 denotes 印度尼西亞 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2718-2718 | "IE" 在 ISO-3166-1-alpha-2 denotes 愛爾蘭 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2719-2719 | "IL" 在 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