No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2473-2473 |
CallableBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2374-2374 |
CorporateBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2308-2308 |
CouponBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2430-2430 |
GovernmentBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2452-2452 |
IndexBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2362-2362 |
MunicipalBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2456-2456 |
PerformanceBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2357-2357 |
RegisteredBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2387-2387 |
SecuredBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2460-2460 |
TreasuryBond est une sous-classe de Bond |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2328-2328 |
ZeroCouponBond est une sous-classe de 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 |
|