| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19548-19548 | EconomicAttribute e' uma sub-classe de PoliticoEconomicAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 106-106 | EconomicDevelopmentLevel e' uma sub-classe de EconomicAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 764-764 | EconomicSystemAttribute e' uma sub-classe de EconomicAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 908-908 | FinancialSectorAttribute e' uma sub-classe de EconomicAttribute |
|
|