capitalExpendituresOfAreaInPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1531-1536 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1527-1527 | 域 期間面積的資本支出, 1 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1528-1528 | 域 期間面積的資本支出, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1529-1529 | 域子類 期間面積的資本支出, 3 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1526-1526 | 例 期間面積的資本支出 and TernaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 364-364 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 363-363 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 362-362 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13092-13092 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13091-13091 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13090-13090 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1565-1570 | GeopoliticalArea 在週期 CurrencyMeasure 對於 TimeInterval 的 capital 地區支出 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 capital 地區支出 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1538-1544 |
|