TreeView Knowledge Base Browser - highestDecileShareOfHouseholdIncome

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1265-1272
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1262-1262	域最高的等分家庭收入, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1263-1263	域最高的等分家庭收入, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1261-1261	例最高的等分家庭收入 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1177-1177
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1176-1176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1175-1175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28095-28095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28094-28094
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28093-28093

antecedent

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

Economy.kif 1275-1277

consequent

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

Economy.kif 1279-1284