|
|
   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 | FormOfGovernment e' uma sub-classe de PoliticoEconomicAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 180-180 | Anarchy e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 181-181 | AuthoritarianRegime e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 185-185 | AuthoritarianSocialist e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1952-1952 | BicameralLegislature e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 156-156 | Chiefdom e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 174-174 | Commonwealth e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 184-184 | CommunistState e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 191-191 | CompactOfFreeAssociationWithNewZealand e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 190-190 | CompactOfFreeAssociationWithUnitedStates e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 171-171 | ConstitutionalDemocraticRepublic e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 168-168 | ConstitutionalGovernment e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 157-157 | ConstitutionalMonarchy e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 170-170 | ConstitutionalParliamentaryDemocracy e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 169-169 | ConstitutionalRepublic e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 158-158 | Coprincipality e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 175-175 | Democracy e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 183-183 | Dictatorship e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 188-188 | EcclesiasticalGovernment e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 178-178 | EmergingDemocracy e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 179-179 | Factionalism e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 161-161 | FederalDemocraticRepublic e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 172-172 | FederalGovernment e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 166-166 | FederalParliamentaryDemocracy e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 160-160 | FederalRepublic e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 173-173 | Federation e' uma instancia de FormOfGovernment |
| 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 | O argumento numero 2 de governmentType e' uma instancia de FormOfGovernment |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24147-24147 | O argumento numero 2 de ideologicalAffiliationOfOrganization e' uma instancia de FormOfGovernment |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 148-152 |
|
|
|
|