FixedAnnuity
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2096-2098 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2095-2095 | 子屬性 固定年金 and 年金 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24104-24104 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24103-24103 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24102-24102 |