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 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Military.kif 1006-1006	域軍費開支GDP分數, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Military.kif 1004-1004	例軍費開支GDP分數 and BinaryPredicate

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