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	域地區失業率, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1447-1447	域地區失業率, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1445-1445	例地區失業率 and BinaryPredicate

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