VerbNet: contribute-13.2|disburse, contribute-13.2|disburse,
| Payment(付款) | | VerbNet: contribute-13.2|disburse, contribute-13.2|disburse, |
| 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 | 付款 是 金融交易 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BankCardPayment Payment) | Dining.kif 402-402 | BankCardPayment 是 付款 的 subclass |
| (subclass CashPayment Payment) | Dining.kif 423-423 | CashPayment 是 付款 的 subclass |
| (subclass Dividend Payment) | FinancialOntology.kif 2005-2005 | 股利 是 付款 的 subclass |
| (subclass Prepayment Payment) | FinancialOntology.kif 774-774 | 预付款 是 付款 的 subclass |
| (subclass Repayment Payment) | UXExperimentalTerms.kif 2068-2068 | Repayment 是 付款 的 subclass |
| (termFormat ChineseLanguage Payment "付款") | domainEnglishFormat.kif 44767-44767 | |
| (termFormat ChineseTraditionalLanguage Payment "付款") | domainEnglishFormat.kif 44766-44766 | |
| (termFormat EnglishLanguage Payment "payment") | domainEnglishFormat.kif 44765-44765 |
| appearance as argument number 3 |
|
|
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 238-238 | validPaymentType 的 2 数量 是 付款 的 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) (origin ?Payment ?Buyer) (destination ?Payment ?Seller)))) |
FinancialOntology.kif 463-475 | |
| (=> (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 614-626 | |
| (=> (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 (AccountFn ?Bond)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2263-2277 |
|
| (=> (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 2087-2104 |
|
| (=> (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 695-702 |
|
|
|