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

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