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 831-832
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 830-830	Prepayment is a subclass of payment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47247-47247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47246-47246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47245-47245

consequent

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

FinancialOntology.kif 834-842

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