Prepayment - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Prepayment

Prepayment(prepayment)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 833-834
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 832-832	Prepayment is a subclass of payment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47218-47218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47217-47217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47216-47216

consequent

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

FinancialOntology.kif 836-844

If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measure for a time interval and the end of the day happens before the beginning of the time interval,
then the financial transaction is an instance of prepayment

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