ZeroCouponBond(zero coupon bond) | ![]() | zero-coupon_bond, zero_coupon_bond |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2346-2348 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2345-2345 | Zero coupon bond is a subclass of bond |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64147-64147 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64146-64146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64145-64145 |
antecedent |
![]() |
![]() |
![]() |