cardAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - cardAccount

cardAccount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 238-239
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 236-236	The number 1 argument of card account is an instance of bank card
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 237-237	The number 2 argument of card account is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 235-235	card account is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 368-368
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 367-367
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 366-366
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13117-13117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13116-13116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13115-13115

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3402-3409	If a bank card is a card code of a content bearing object and a financial account is a card account of the bank card, then there exists a process such that the process is an instance of encoding and the financial account is a patient of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3427-3432	If a bank card is an instance of expired card holds during a time position and a financial account is a card account of the bank card, then active agreement is not an attribute of the bank card holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 188-196	If a bank card is an instance of bank card and a financial organization is an issued by of the bank card, then there exists a financial account such that the financial account is an instance of financial account and the financial account is a card account of the bank card and the financial account is held by the financial organization
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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 203-211	If a bank card is an instance of debit card and a cognitive agent possesses the bank card, then there exists a financial account such that the financial account is an instance of deposit account and the financial account is a card account of the bank card and the cognitive agent holds account the financial account

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

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