lastStatement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - lastStatement

lastStatement

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3900-3901
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3898-3898	The number 1 argument of last statement is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3899-3899	The number 2 argument of last statement is an instance of bank statement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3897-3897	last statement is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1443-1443
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1442-1442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1441-1441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33421-33421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33420-33420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33419-33419

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3907-3914	If a bank statement is a last statement of a financial account and a physical is an instance of financial transaction and the bank statement expresses the content of the physical and another physical is an instance of financial transaction and the bank statement doesn't express the content of the other physical, then the time of existence of the other physical happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3903-3905	If a bank statement is a last statement of a financial account, then the financial account is an instance of financial account

consequent

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

FinancialOntology.kif 4044-4050

If a currency measure is a last statement balance of a financial account,
then there exist a bank statement and a day such that the bank statement is a last statement of the financial account and the day is a date of statement of the bank statement and the financial account current account balance the day for the currency measure

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