![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19582-19585 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19581-19581 | FormOfGovernment est une sous-classe de PoliticoEconomicAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 180-180 | Anarchy est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 181-181 | AuthoritarianRegime est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 185-185 | AuthoritarianSocialist est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1916-1916 | BicameralLegislature est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 156-156 | Chiefdom est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 174-174 | Commonwealth est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 184-184 | CommunistState est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 191-191 | CompactOfFreeAssociationWithNewZealand est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 190-190 | CompactOfFreeAssociationWithUnitedStates est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 171-171 | ConstitutionalDemocraticRepublic est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 168-168 | ConstitutionalGovernment est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 157-157 | ConstitutionalMonarchy est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 170-170 | ConstitutionalParliamentaryDemocracy est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 169-169 | ConstitutionalRepublic est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 158-158 | Coprincipality est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 175-175 | Democracy est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 183-183 | Dictatorship est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 188-188 | EcclesiasticalGovernment est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 178-178 | EmergingDemocracy est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 179-179 | Factionalism est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 161-161 | FederalDemocraticRepublic est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 172-172 | FederalGovernment est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 166-166 | FederalParliamentaryDemocracy est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 160-160 | FederalRepublic est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 173-173 | Federation est une instance 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 | Le nombre 2 argument de governmentType est une instance de FormOfGovernment |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24204-24204 | Le nombre 2 argument de ideologicalAffiliationOfOrganization est une instance de FormOfGovernment |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 148-152 |
|
![]() |
![]() |