FixedRateAccount(fixed rate account) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 977-977 | Fixed rate account is disjoint from adjustable rate account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 978-979 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 976-976 | Fixed rate account is a subclass of interest bearing account |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24128-24128 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24127-24127 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24126-24126 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 981-984 | There exists a number such that the number is a fixed interest rate of a financial account if and only if the financial account is an instance of fixed rate account |