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	O argumento numero 1 de highestDecileShareOfHouseholdIncome e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1263-1263	O argumento numero 2 de highestDecileShareOfHouseholdIncome e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1261-1261	highestDecileShareOfHouseholdIncome e' uma instancia de Predicado Binario

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