Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Penalty

Sigma KEE - Penalty
Penalty

appearance as argument number 1
-------------------------


(documentation Penalty EnglishLanguage "A fee charged as a penalty.") FinancialOntology.kif 862-862
(subclass Penalty ChargingAFee) FinancialOntology.kif 861-861 PenaltyChargingAFeesubclass

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


(termFormat EnglishLanguage Penalty "penalty") domainEnglishFormat.kif 7918-7918 termFormat EnglishLanguage, Penalty and "penalty"

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 1756-1766 过程Withdrawalinstance FinancialAccountFinancialAccountinstanceCurrencyFn 那个 FinancialAccount那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程Penaltyinstance那个 另外 过程CurrencyFn 那个 FinancialAccount 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 liquidity 那个 FinancialAccount and HighLiquidity

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 658-668
(=>
    (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 712-725
(=>
    (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 1060-1069
(=>
    (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 1032-1044


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners