Penalty - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Penalty EnglishLanguage "A fee charged as a penalty.")	FinancialOntology.kif 917-917
(subclass Penalty ChargingAFee)	FinancialOntology.kif 916-916	Penalty e' uma sub-classe de ChargingAFee

appearance as argument number 2

(termFormat ChineseLanguage Penalty "罚款")	domainEnglishFormat.kif 44982-44982
(termFormat ChineseTraditionalLanguage Penalty "罰款")	domainEnglishFormat.kif 44981-44981
(termFormat EnglishLanguage Penalty "penalty")	domainEnglishFormat.kif 44980-44980

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 1818-1828

Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity

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 701-714	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency currentAccountBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty a data de Processo e' Dia Processo termina em CurrencyFn FinancialAccount
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (exists (?Payment ?Month) (and (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 759-775	LiabilityAccount e' uma instancia de LiabilityAccount minimumPayment LiabilityAccount, Numero Real Unidade de Medida(s) and MonthDuration Unidade de Medida e' uma instancia de UnitOfCurrency Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Mes Processo termina em CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn LiabilityAccount
(=> (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 1115-1124	FinancialAccount e' uma instancia de TraditionalSavingsAccount Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo
(=> (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 1087-1099	FinancialAccount e' uma instancia de CertificateOfDeposit maturityDate FinancialAccount and Dia Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount a data de Processo e' Dia o fim de Dia comeca antes de o comeco de Dia Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo

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

KB Term:			Term intersection

English Word: