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 5940-5940
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6319-6319
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 213-213	信用卡是银行卡的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3452-3452	美国快递卡是信用卡的 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 3450-3450	主卡是信用卡的 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.	domainEnglishFormat.kif 17748-17748
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17747-17747
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17746-17746

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 1239-1247