TreeView Knowledge Base Browser - capitalExpendituresOfArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1551-1556
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1548-1548	域地區的資本支出, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1549-1549	域地區的資本支出, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1547-1547	例地區的資本支出 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 360-360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 359-359
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 358-358
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13086-13086
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13085-13085
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13084-13084

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1558-1562

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1565-1570