Penalty - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Penalty EnglishLanguage "A fee charged as a penalty.")	FinancialOntology.kif 861-861
(subclass Penalty ChargingAFee)	FinancialOntology.kif 860-860	Penalty is a subclass of chargingA fee

appearance as argument number 2

(termFormat ChineseLanguage Penalty "罚款")	domainEnglishFormat.kif 44881-44881
(termFormat ChineseTraditionalLanguage Penalty "罰款")	domainEnglishFormat.kif 44880-44880
(termFormat EnglishLanguage Penalty "penalty")	domainEnglishFormat.kif 44879-44879

antecedent

(<=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
        (not
            (exists (?Penalty)
                (and
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))

FinancialOntology.kif 1754-1764

A process is an instance of withdrawal 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 penalty 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

(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount ?Balance) (currentAccountBalance ?Account ?Date ?Amount) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 657-667	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a currency measure and the financial account current account balance a day for another currency measure and the other currency measure is less than the currency measure, then there exists a process such that the process is an instance of penalty and date of the process is the day and the process ends up at the currency of the financial account
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account ?MinPayment MonthDuration) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account ?Amount ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 711-724	If a liability account is an instance of liability account and the liability account is minimum payment a currency measure for month duration 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 currency measure for the time interval and the other currency measure is less than the currency measure, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the liability account
(=> (and (instance ?Account TraditionalSavingsAccount) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?Account))) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty)))))	FinancialOntology.kif 1059-1068	If a financial account is an instance of traditional savings account and a process is an instance of withdrawal 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 penalty and the other process ends up at the currency of the financial account and the process causes the other process
(=> (and (instance ?CD CertificateOfDeposit) (maturityDate ?CD ?MaturityDate) (instance ?Withdrawal Withdrawal) (origin ?Withdrawal (CurrencyFn ?CD)) (date ?Withdrawal ?DateOfWithdrawal) (before (EndFn ?DateOfWithdrawal) (BeginFn ?MaturityDate))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?CD)) (causes ?Withdrawal ?Penalty))))	FinancialOntology.kif 1031-1043	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 withdrawal 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 penalty 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: