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	O argumento numero 1 de exportTotalInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2258-2258	O argumento numero 2 de exportTotalInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2259-2259	O argumento numero 3 de exportTotalInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2256-2256	exportTotalInPeriod e' uma instancia de Predicado Ternario

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