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 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2258-2258	期间出口总额的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2259-2259	期间出口总额的 3 数量是时距的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2256-2256	期间出口总额是三元谓语的 instance

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