| CheckingAccount(支票賬戶)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1141-1141 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9042-9042 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8412-8412 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1140-1140 | 子類 支票賬戶 and 存款賬戶 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14259-14259 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14258-14258 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14257-14257 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1143-1156 |
|
|
|