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	Le nombre 1 argument de currencyExchangeRateInPeriod est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3640-3640	Le nombre 2 argument de currencyExchangeRateInPeriod est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3641-3641	Le nombre 3 argument de currencyExchangeRateInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3638-3638	currencyExchangeRateInPeriod est une instance de pr�dicat ternaire

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