TreeView Knowledge Base Browser - militaryExpendituresFractionOfGDP

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 1008-1011
No TPTP formula. May not be expressible in strict first order.	Military.kif 1005-1005	Le nombre 1 argument de militaryExpendituresFractionOfGDP est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Military.kif 1006-1006	Le nombre 2 argument de militaryExpendituresFractionOfGDP est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Military.kif 1004-1004	militaryExpendituresFractionOfGDP 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 1719-1719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1718-1718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1717-1717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37595-37595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37594-37594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37593-37593

antecedent

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

Military.kif 1014-1016

consequent

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

Military.kif 1019-1024