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	域按分數進口夥伴, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2729-2729	域按分數進口夥伴, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2730-2730	域按分數進口夥伴, 3 and PositiveRealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2727-2727	例按分數進口夥伴 and TernaryPredicate

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