EconomicSystemAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 766-769 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 764-764 | EconomicSystemAttribute e' uma sub-classe de EconomicAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 771-771 | CapitalistEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 857-857 | CentrallyPlannedEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 831-831 | CommunalLandOwnershipEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 815-815 | DemocraticSocialism e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 849-849 | GovernmentRegulatedEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 890-890 | GovernmentSubsidizedEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 793-793 | MarketEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 828-828 | MarketSocialism e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 834-834 | MixedEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 883-883 | NationalizedIndustryEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 846-846 | PartialMarketEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 787-787 | PrivateEnterpriseEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 872-872 | PrivatizingEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 779-779 | PureCapitalistEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 806-806 | PureSocialistEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 800-800 | SocialistEconomy e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 897-897 | WelfareCapitalism e' uma instancia de EconomicSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21198-21198 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21197-21197 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21196-21196 |