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	Le nombre 1 argument de capitalExpendituresOfArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1549-1549	Le nombre 2 argument de capitalExpendituresOfArea est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1547-1547	capitalExpendituresOfArea est une instance de pr�dicat binaire

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