| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19563-19563 | PoliticoEconomicAttribute est une sous-classe de attribut relationnel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19575-19575 | EconomicAttribute est une sous-classe de PoliticoEconomicAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19581-19581 | FormOfGovernment est une sous-classe de PoliticoEconomicAttribute |
|
|