| Payment | |
| appearance as argument number 1 |
|
|
| (documentation Payment EnglishLanguage "The partial or complete discharge of an obligation by its settlement in the form of the transfer of funds, assets, or services equal to the monetary value of part or all of the debtor's obligation.") | FinancialOntology.kif 404-406 | |
| (subclass Payment FinancialTransaction) | FinancialOntology.kif 403-403 | Payment 是 金融交易 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BankCardPayment Payment) | Dining.kif 406-406 | BankCardPayment 是 Payment 的 subclass |
| (subclass CashPayment Payment) | Dining.kif 427-427 | CashPayment 是 Payment 的 subclass |
| (subclass Dividend Payment) | FinancialOntology.kif 2006-2006 | Dividend 是 Payment 的 subclass |
| (subclass Prepayment Payment) | FinancialOntology.kif 775-775 | Prepayment 是 Payment 的 subclass |
| (subclass Repayment Payment) | UXExperimentalTerms.kif 2070-2070 | Repayment 是 Payment 的 subclass |
| (termFormat EnglishLanguage Payment "payment") | domainEnglishFormat.kif 7899-7899 | termFormat EnglishLanguage, Payment and "payment" |
| appearance as argument number 3 |
|
|
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 238-238 | validPaymentType 的 2 数量 是 Payment 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment ?Amount) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) ?Balance1) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) ?Balance2)) |
FinancialOntology.kif 408-416 |
|
| consequent |
|
|
| (=> (and (agent ?Purchase ?Buyer) (origin ?Purchase ?Seller) (patient ?Purchase ?Object) (monetaryValue ?Object ?Money)) (exists (?Payment) (and (subProcess ?Payment ?Purchase) (instance ?Payment Payment) (transactionAmount ?Payment ?Money) (destination ?Payment ?Seller)))) |
FinancialOntology.kif 465-476 | |
| (=> (and (amountDue ?Account ?Amount ?DueDate) (accountHolder ?Account ?Agent)) (holdsObligation (KappaFn ?Payment (and (instance ?Payment Payment) (transactionAmount ?Payment ?Amount) (or (destination ?Payment (CurrencyFn ?Account)) (origin ?Payment (CurrencyFn ?Account))) (date ?Payment ?Date) (beforeOrEqual (EndFn ?Date) (BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 615-627 |
|
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) ?Principal) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (CurrencyFn ?BondAccount)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2264-2278 |
|
| (=> (and (instance ?REPAYMENT Repayment) (instance ?REPAYMENT_DESTINATION Object) (destination ?REPAYMENT ?REPAYMENT_DESTINATION) (instance ?REPAYMENT_ORIGIN Object) (origin ?REPAYMENT ?REPAYMENT_ORIGIN)) (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION) (and (instance ?PAYMENT Payment) (instance ?PAYMENT_ORIGIN Object) (instance ?PAYMENT_DESTINATION Object) (not (equal ?PAYMENT ?REPAYMENT)) (destination ?PAYMENT ?PAYMENT_DESTINATION) (origin ?PAYMENT ?PAYMENT_ORIGIN) (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION) (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN)))) |
UXExperimentalTerms.kif 2089-2106 |
|
| (=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE ?TIME)) (immediateInstance ?ITEM ?OBJ) (instance ?R Renting) (patient ?R ?ITEM) (possesses ?OBJ ?AGENT) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (and (during ?TIMEINT ?X) (instance ?X TimeInterval) (duration ?X ?DURATION) (lessThanOrEqualTo ?DURATION ?TIME)) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE)))))) |
Catalog.kif 450-472 | |
| (=> (periodicPayment ?Account ?Amount ?Period) (exists (?Payment) (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (frequency ?Payment ?Period)))) |
FinancialOntology.kif 696-703 |
|
|
|
|