No TPTP formula. May not be expressible in strict first order.	Government.kif 189-189	伊斯兰政府 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 182-182	军事独裁统治 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 194-194	帝制 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 176-176	多党民主 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 164-164	议会民主制 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 165-165	议会民主共和国 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 162-162	议会政府 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 163-163	议会共和国 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 167-167	总统府 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 159-159	共和国 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 186-186	神权政府 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 187-187	神权共和国 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 177-177	过渡政府 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1969-1969	一院制立法机关 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 192-192	统一规则 是 政体 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19537-19537	政治经济属性 详尽无遗地 partition 成 政体 和 经济属性
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