TreeView Knowledge Base Browser - CreditCardAccount

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

CreditCardAccount

Sigma KEE - CreditCardAccount

CreditCardAccount(credit card account)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1236-1237
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9132-9132
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1235-1235	Credit card account is a subclass of credit account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17754-17754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17753-17753
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17752-17752

antecedent

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

FinancialOntology.kif 1239-1247

If a financial account is an instance of credit card account and a process is an instance of financial transaction and the process originates at the currency of the financial account,
then there exists an object such that the object is an instance of credit card and the object is an instrument for the process

consequent

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

FinancialOntology.kif 218-226

If a bank card is an instance of credit card and a cognitive agent possesses the bank card,
then there exists a financial account such that the financial account is an instance of credit card account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners