TreeView Knowledge Base Browser - unemploymentRateOfArea

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1448-1450
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1446-1446	Le nombre 1 argument de unemploymentRateOfArea est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1447-1447	Le nombre 2 argument de unemploymentRateOfArea est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1445-1445	unemploymentRateOfArea 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 2567-2567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2566-2566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2565-2565
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59912-59912
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59911-59911
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59910-59910

antecedent

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

Economy.kif 1452-1454

consequent

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

Economy.kif 1456-1461