| No TPTP formula. May not be expressible in strict first order. |
Government.kif 180-180 |
无政府状态 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 181-181 |
威权政权 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 185-185 |
专制的社会主义者 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 1952-1952 |
两院制立法机关 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 156-156 |
酋邦 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 174-174 |
联邦 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 184-184 |
共产主义国家 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 191-191 |
与新西兰自由联合的契约 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 190-190 |
与美国自由联合的契约 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 171-171 |
宪法民主共和国 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 168-168 |
宪政 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 157-157 |
君主立宪制 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 170-170 |
宪法议会民主 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 169-169 |
立宪共和国 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 158-158 |
复主权 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 175-175 |
民主 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 183-183 |
专政 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 188-188 |
教会政府 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 178-178 |
新兴民主 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 179-179 |
宗派主义 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 161-161 |
联邦民主共和国 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 172-172 |
联邦政府 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 166-166 |
联邦议会民主 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 160-160 |
联邦共和国 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 173-173 |
联邦 是 政体 的 instance |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
