No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2473-2473 |
Callable bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2374-2374 |
Corporate bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2308-2308 |
Coupon bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2430-2430 |
Government bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2452-2452 |
Index bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2362-2362 |
Municipal bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2456-2456 |
Performance bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2357-2357 |
Registered bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2387-2387 |
Secured bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2460-2460 |
Treasury bond is a subclass of bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2328-2328 |
Zero coupon bond is a subclass of bond |
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 |
|