No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | 子類 銀行卡 and 金融工具 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 198-198 | 子類 金融卡 and 銀行卡 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 213-213 | 子類 信用卡 and 銀行卡 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3513-3513 | 子類 有效卡 and 銀行卡 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3525-3525 | 子類 過期的卡 and 銀行卡 |