SavingsAccount
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1029-1031 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11802-11802 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10246-10246 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11804-11804 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11801-11801 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11803-11803 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11800-11800 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1028-1028 | Savings account is a subclass of interest bearing account |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1075-1075 | Certificate of deposit is a subclass of savings account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3384-3384 | Individual retirement account is a subclass of savings account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1054-1054 | Money market is a subclass of savings account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | Traditional savings account is a subclass of savings account |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1067-1067 | Treasury bill is a subclass of savings account |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51359-51359 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51358-51358 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51357-51357 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1043-1052 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1033-1041 |
|