CertificateOfDeposit(certificate of deposit) | ![]() | CD, certificate_of_deposit, time_deposit |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1075-1079 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1074-1074 | Certificate of deposit is a subclass of savings account |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13965-13965 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13964-13964 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13963-13963 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1086-1098 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1081-1084 |
|
![]() |
![]() |