No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2095-2095 |
Fixed annuity is a subattribute of annuity |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2102-2102 |
Variable annuity is a subattribute of annuity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7716-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7715-7715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7714-7714 |
|