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	军费开支GDP分数的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 1006-1006	军费开支GDP分数的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 1004-1004	军费开支GDP分数是二元谓语的 instance

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