TreeView Knowledge Base Browser - importPartnerByFraction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2732-2736
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2728-2728	O argumento numero 1 de importPartnerByFraction e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2729-2729	O argumento numero 2 de importPartnerByFraction e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2730-2730	O argumento numero 3 de importPartnerByFraction e' uma instancia de Numero Real positivo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2727-2727	importPartnerByFraction e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1265-1265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1264-1264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1263-1263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29419-29419
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29418-29418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29417-29417

antecedent

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

Economy.kif 2738-2740

consequent

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

Economy.kif 2742-2747