Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FormOfGovernment

Sigma KEE - FormOfGovernment
FormOfGovernment(政體)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19555-19558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19554-19554 子類 政體 and 政治經濟屬性

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 180-180 無政府狀態 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 181-181 威權政權 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 185-185 專制的社會主義者 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 1952-1952 兩院制立法機關 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 156-156 酋邦 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 174-174 聯邦 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 184-184 共產主義國家 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 191-191 與新西蘭自由聯合的契約 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 190-190 與美國自由聯合的契約 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 171-171 憲法民主共和國 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 168-168 憲政 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 157-157 君主立憲制 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 170-170 憲法議會民主 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 169-169 立憲共和國 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 158-158 復主權 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 175-175 民主 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 183-183 專政 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 188-188 教會政府 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 178-178 新興民主 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 179-179 宗派主義 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 161-161 聯邦民主共和國 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 172-172 聯邦政府 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 166-166 聯邦議會民主 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 160-160 聯邦共和國 and 政體
No TPTP formula. May not be expressible in strict first order. Government.kif 173-173 聯邦 and 政體

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 129-129 政府類型, 2 and 政體
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24147-24147 組織的意識形態歸屬, 2 and 政體

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 148-152


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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