|
|
   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 |
|
|
|