TreeView Knowledge Base Browser - exportTotalInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2261-2265
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2257-2257	域期間出口總額, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2258-2258	域期間出口總額, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2259-2259	域子類期間出口總額, 3 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2256-2256	例期間出口總額 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 975-975
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 974-974
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 973-973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22936-22936
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22935-22935
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22934-22934

antecedent

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

Economy.kif 2277-2286

consequent

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

Economy.kif 2288-2295