No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2095-2095 |
FixedAnnuity e' um sub-atributo de Annuity |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2102-2102 |
VariableAnnuity e' um sub-atributo de 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 |
|