No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 986-986 |
AdjustableRateAccount est une sous-classe de InterestBearingAccount |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 976-976 |
FixedRateAccount est une sous-classe de InterestBearingAccount |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1028-1028 |
SavingsAccount est une sous-classe de InterestBearingAccount |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30403-30403 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30402-30402 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30401-30401 |
|