TreeView Knowledge Base Browser - lowestDecileShareOfHouseholdIncome

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1220-1227
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1217-1217	Le nombre 1 argument de lowestDecileShareOfHouseholdIncome est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1218-1218	Le nombre 2 argument de lowestDecileShareOfHouseholdIncome est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1216-1216	lowestDecileShareOfHouseholdIncome 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 1579-1579
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1578-1578
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1577-1577
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35153-35153
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35152-35152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35151-35151

antecedent

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

Economy.kif 1229-1231

consequent

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

Economy.kif 1233-1238