TreeView Knowledge Base Browser - annualExpendituresOfArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1522-1526
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1519-1519	The number 1 argument of annual expenditures of area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1520-1520	The number 2 argument of annual expenditures of area is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1518-1518	annual expenditures of area is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 168-168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 167-167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 166-166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7689-7689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7688-7688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7687-7687

antecedent

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

Economy.kif 1569-1573

consequent

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

Economy.kif 1528-1533