Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Penalty ChargingAFee) FinancialOntology.kif 938-938 Penalizing is a subclass of charging a fee
(documentation Penalty EnglishLanguage "A fee charged as a penalty.") FinancialOntology.kif 939-939 Penalizing is a subclass of charging a fee

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Penalty "penalizing") domainEnglishFormat.kif 44975-44975
(termFormat ChineseTraditionalLanguage Penalty "罰款") domainEnglishFormat.kif 44976-44976
(termFormat ChineseLanguage Penalty "罚款") domainEnglishFormat.kif 44977-44977

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 1864-1874 All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at the currency of Y (4) there doesn't exist Z such that Z is an instance of penalizing (5) Z ends up at the currency of Y (6) X causes Z if (7) only if the liqudity of Y is high liquidity

consequent
-------------------------


(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account UsingAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency)
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Amount ?U))
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 723-736 If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (instance ?Month Month)
        (destination ?Payment
            (CurrencyFn ?Account))
        (paymentsPerPeriod ?Account
            (MeasureFn ?Amount ?U) ?Month)
        (lessThan ?Amount ?MinPayment))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 781-797 If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of X
(=>
    (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 1112-1124 If All of the following hold: (1) X is an instance of certificate of deposit (2) Y is a maturity date of X (3) Z is an instance of withdrawing from an account (4) Z originates at the currency of X (5) date of Z is W (6) the end of W happens before the beginning of Y, then there exists V such that V is an instance of penalizing, V ends up at the currency of X, and Z causes V
(=>
    (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 1140-1149 If X is an instance of traditional savings account, Y is an instance of withdrawing from an account, and Y originates at the currency of X, then there doesn't exist Z such that Z is an instance of penalizing, Z ends up at the currency of X, and Y causes Z
(=>
    (and
        (instance ?Account TraditionalSavingsAccount)
        (instance ?Withdrawal Withdrawal))
    (exists (?A)
        (and
            (patient ?Withdrawal ?Account)
            (agent ?Withdrawal ?A)
            (not
                (exists (?Penalty)
                    (and
                        (instance ?Penalty Penalty)
                        (patient ?Penalty ?A)))))))		 FinancialOntology.kif 1151-1163 If X is an instance of traditional savings account and Y is an instance of withdrawing from an account, then there exists Z such that X is a patient of Y, Z is an agent of Y, there doesn't exist W such that W is an instance of penalizing, and Z is a patient of W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners