TreeView Knowledge Base Browser - currencyExchangeRateInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3646-3649
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3642-3642	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 3643-3643	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 3644-3644	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 3641-3641	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 18007-18007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18006-18006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18005-18005

antecedent

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

Economy.kif 3671-3676

consequent

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

Economy.kif 3651-3653