TreeView Knowledge Base Browser - annualExpendituresOfArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1511-1515
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1508-1508	O argumento numero 1 de annualExpendituresOfArea e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1509-1509	O argumento numero 2 de annualExpendituresOfArea e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1507-1507	annualExpendituresOfArea e' uma instancia de Predicado Binario

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 7680-7680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7679-7679
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7678-7678

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 1517-1522