CreditCard - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 214-216
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5939-5939
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6318-6318
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 213-213	子類信用卡 and 銀行卡

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3466-3466	子類美國快遞卡 and 信用卡
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3465-3465	子類發現卡片 and 信用卡
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3464-3464	子類主卡 and 信用卡
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3463-3463	子類簽證卡 and 信用卡
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17763-17763	子類簽證卡 and 信用卡
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17762-17762	子類簽證卡 and 信用卡
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17761-17761	子類簽證卡 and 信用卡

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 218-226

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 1253-1261