TreeView Knowledge Base Browser - Prepayment

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 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 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 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