TreeView Knowledge Base Browser - currencyExchangeRateInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3653-3656
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3649-3649	The number 1 argument of currency exchange rate in period is an instance of UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3650-3650	The number 2 argument of currency exchange rate in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3651-3651	The number 3 argument of currency exchange rate in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3648-3648	currency exchange rate 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 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 18075-18075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18074-18074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18073-18073

antecedent

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

Economy.kif 3678-3683

consequent

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

Economy.kif 3658-3660