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 | 劃分 政治經濟屬性, 政體 and 經濟屬性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19563-19563 | 子類 政治經濟屬性 and RelationalAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19575-19575 | 子類 經濟屬性 and 政治經濟屬性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19581-19581 | 子類 政體 and 政治經濟屬性 |
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 |