No TPTP formula. May not be expressible in strict first order. |
Economy.kif 920-920 |
例 農業經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 924-924 |
例 受控的勞動力市場經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 914-914 |
例 多元化經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 915-915 |
例 製造業經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 925-925 |
例 海外金融業經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 917-917 |
例 石油經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 919-919 |
例 服務型經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 921-921 |
例 自給農業經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 918-918 |
例 旅遊經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 916-916 |
例 貿易經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 923-923 |
例 兩級勞動力市場經濟 and 金融部門屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23816-23816 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23815-23815 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23814-23814 |
|