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	Le nombre 1 argument de importPartnerByFraction est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2729-2729	Le nombre 2 argument de importPartnerByFraction est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2730-2730	Le nombre 3 argument de importPartnerByFraction est une instance de nombre r�el positif
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2727-2727	importPartnerByFraction est une instance de pr�dicat ternaire

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