| 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 3449-3449 | 子類 簽證卡 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3450-3450 | 子類 主卡 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3451-3451 | 子類 發現卡片 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | 子類 美國快遞卡 and 信用卡 |
|
|