TreeView Knowledge Base Browser - statementAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

statementAccount

Sigma KEE - statementAccount

statementAccount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4055-4056
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4053-4053	The number 1 argument of statement account is an instance of bank statement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4054-4054	The number 2 argument of statement account is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4052-4052	statement 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 2351-2351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2350-2350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2349-2349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55128-55128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55127-55127
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55126-55126

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3885-3895	If a bank statement is an instance of bank statement and a financial account is a statement account of the bank statement, then there exists a process such that the process is an instance of financial transaction and the process originates at the currency of the financial account or the process ends up at the currency of the financial account and the bank statement expresses the content of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4082-4087	If an interest is a statement interest of a bank statement and a time interval is a statement period of the bank statement and a financial account is a statement account of the bank statement, then the financial account is interest earned the interest for the time interval

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