|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2624-2624 | 會員 巴爾米拉環礁 and UnitedStatesMinorOutlyingIslands |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3214-3214 | 會員 葡萄牙 and 歐洲貨幣聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3215-3215 | 會員 斯洛伐克 and 歐洲貨幣聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3216-3216 | 會員 斯洛文尼亞 and 歐洲貨幣聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3217-3217 | 會員 西班牙 and 歐洲貨幣聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2623-2623 | 會員 甦醒島 and UnitedStatesMinorOutlyingIslands |
|
|
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