TreeView Knowledge Base Browser - currencyExchangeRateInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3643-3646
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3639-3639	O argumento numero 1 de currencyExchangeRateInPeriod e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3640-3640	O argumento numero 2 de currencyExchangeRateInPeriod e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3641-3641	O argumento numero 3 de currencyExchangeRateInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3638-3638	currencyExchangeRateInPeriod e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 604-604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 603-603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 602-602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18084-18084
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18083-18083
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18082-18082

antecedent

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

Economy.kif 3668-3673

consequent

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

Economy.kif 3648-3650