TreeView Knowledge Base Browser - exportTotalInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2272-2276
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2268-2268	The number 1 argument of export total in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2269-2269	The number 2 argument of export total in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2270-2270	The number 3 argument of export total in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2267-2267	export total in period is an instance of ternary predicate

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 22929-22929
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22928-22928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22927-22927

antecedent

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

Economy.kif 2288-2297

consequent

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

Economy.kif 2299-2306