TreeView 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	Credit card is a subclass of bank card

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3452-3452	American express card is a subclass of credit card
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3451-3451	Discover card is a subclass of credit card
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3450-3450	Master card is a subclass of credit card
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3449-3449	Visa card is a subclass of credit card
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