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 3918-3919
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3916-3916	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 3917-3917	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 3915-3915	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 33432-33432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33431-33431
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33430-33430

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3925-3932	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 3921-3923	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 4062-4068

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