more pictures...
| SavingsAccount(儲蓄賬戶)
more pictures... | |
| 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 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 |
|
|
|