Penalty - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Penalty

Penalty(penalizing)

amercement, fine, forfeit, forfeiture, mulct, penalty, requital, retribution

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 917-917
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 916-916	Penalizing is a subclass of charging a fee

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45013-45013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45012-45012
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45011-45011

antecedent

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

FinancialOntology.kif 1832-1842

A process is an instance of withdrawing from an account and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalizing and date of the process is the day and the process ends up at the currency of the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another real number the unit of measure(s) for the time interval and the other real number is less than the real number, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the liability account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	If a financial account is an instance of traditional savings account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1126-1138	If an entity is an instance of traditional savings account and a process is an instance of withdrawing from an account, then there exists an agent such that the entity is a patient of the process and the agent is an agent of the process and there doesn't exist another process such that the other process is an instance of penalizing and the agent is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawing from an account and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalizing and the other process ends up at the currency of the financial account and the process causes the other process

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