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 919-919
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 918-918	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 44984-44984
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44983-44983
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44982-44982

antecedent

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

FinancialOntology.kif 1835-1845

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 703-716	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 761-777	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 1117-1126	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 1128-1140	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 1089-1101	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