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