PoliticoEconomicAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19565-19567 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19564-19564 | PoliticoEconomicAttribute est compl�tement d�compos� en FormOfGovernment + EconomicAttribute |
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 |
appearance as argument number 2 |
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 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46539-46539 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46538-46538 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46537-46537 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19569-19573 |
|