economicAidDonatedInPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2792-2802 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2788-2788 | 域 期間捐贈的經濟援助, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2789-2789 | 域 期間捐贈的經濟援助, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2790-2790 | 域子類 期間捐贈的經濟援助, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2787-2787 | 例 期間捐贈的經濟援助 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 816-816 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 815-815 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 814-814 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21066-21066 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21065-21065 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21064-21064 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2819-2824 | GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 的 economic 間贈補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 economic 捐贈補助 |