No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 213-213 | 信用卡 是 银行卡 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3449-3449 | 签证卡 是 信用卡 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3450-3450 | 主卡 是 信用卡 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3451-3451 | 发现卡片 是 信用卡 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | 美国快递卡 是 信用卡 的 subclass |