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 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1263-1263	最高的等分家庭收入的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1261-1261	最高的等分家庭收入是二元谓语的 instance

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