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 | 储蓄账户 是 计息账户 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1075-1075 | 存款证 是 储蓄账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3384-3384 | 个人退休账户 是 储蓄账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1054-1054 | 货币市场 是 储蓄账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | 传统储蓄账户 是 储蓄账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1067-1067 | 国库券 是 储蓄账户 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51357-51357 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51356-51356 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51355-51355 |
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 |