No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 986-986 |
Adjustable rate account is a subclass of interest bearing account |
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 |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1028-1028 |
Savings account is a subclass of interest bearing account |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30403-30403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30402-30402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30401-30401 |
|