|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 189-189 | 例 伊斯蘭政府 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 182-182 | 例 軍事獨裁統治 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 194-194 | 例 帝制 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 176-176 | 例 多黨民主 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 164-164 | 例 議會民主制 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 165-165 | 例 議會民主共和國 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 162-162 | 例 議會政府 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 163-163 | 例 議會共和國 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 167-167 | 例 總統府 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 159-159 | 例 共和國 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 186-186 | 例 神權政府 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 187-187 | 例 神權共和國 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 177-177 | 例 過渡政府 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1969-1969 | 例 一院制立法機關 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 192-192 | 例 統一規則 and 政體 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19536-19536 | 劃分 政治經濟屬性, 政體 and 經濟屬性 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24770-24770 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24769-24769 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24768-24768 |
|
|
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