economicAidReceivedNet |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2850-2857 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2847-2847 | 域 經濟援助淨收入, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2848-2848 | 域 經濟援助淨收入, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2846-2846 | 例 經濟援助淨收入 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 820-820 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 819-819 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 818-818 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21072-21072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21071-21071 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21070-21070 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2859-2864 | GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 總共收到的 economic 補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 總共收到的 economic 補助 |