| 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 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 1952-1952 | 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 24147-24147 | 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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