TraditionalSavingsAccount
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1102-1103 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10300-10300 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12017-12017 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12016-12016 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12015-12015 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | 子類 傳統儲蓄賬戶 and 儲蓄賬戶 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58748-58748 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58747-58747 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58746-58746 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1115-1124 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1105-1107 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1109-1113 |