No TPTP formula. May not be expressible in strict first order.	Media.kif 2624-2624	巴尔米拉环礁 是 UnitedStatesMinorOutlyingIslands 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 3214-3214	葡萄牙 是 欧洲货币联盟 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 3215-3215	斯洛伐克 是 欧洲货币联盟 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 3216-3216	斯洛文尼亚 是 欧洲货币联盟 的 member
No TPTP formula. May not be expressible in strict first order.	Government.kif 3217-3217	西班牙 是 欧洲货币联盟 的 member
No TPTP formula. May not be expressible in strict first order.	Media.kif 2623-2623	苏醒岛 是 UnitedStatesMinorOutlyingIslands 的 member

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