No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2473-2473 |
可赎回的债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2374-2374 |
公司债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2308-2308 |
优惠券债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2430-2430 |
政府债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2452-2452 |
指数债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2362-2362 |
市政债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2456-2456 |
履约保证金 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2357-2357 |
注册债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2387-2387 |
担保债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2460-2460 |
国债 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2328-2328 |
零息债券 是 键 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11585-11585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11584-11584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11583-11583 |
|