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 | 子類 儲蓄賬戶 and 計息賬戶 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1075-1075 | 子類 存款證 and 儲蓄賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3384-3384 | 子類 個人退休賬戶 and 儲蓄賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1054-1054 | 子類 貨幣市場 and 儲蓄賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | 子類 傳統儲蓄賬戶 and 儲蓄賬戶 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1067-1067 | 子類 國庫券 and 儲蓄賬戶 |
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 |