Penalty
|
|
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 |