| 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 | 付款 是 金融交易 的 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 2083-2083 | 股利 是 付款 的 subclass |
| (subclass Prepayment Payment) | FinancialOntology.kif 829-829 | 预付款 是 付款 的 subclass |
| (subclass Repayment Payment) | UXExperimentalTerms.kif 2073-2073 | Repayment 是 付款 的 subclass |
| (termFormat ChineseLanguage Payment "付款") | domainEnglishFormat.kif 44851-44851 | |
| (termFormat ChineseTraditionalLanguage Payment "付款") | domainEnglishFormat.kif 44850-44850 | |
| (termFormat EnglishLanguage Payment "payment") | domainEnglishFormat.kif 44849-44849 |
| appearance as argument number 3 |
|
|
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 244-244 | validPaymentType 的 2 数量 是 付款 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (transactionAmount ?Payment (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Payment)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (SubtractionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (WhenFn ?Payment)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 408-424 |
| 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 487-499 | |
| (=> (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 655-667 | |
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2341-2363 |
|
| (=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C)) |
Mid-level-ontology.kif 6823-6836 | |
| (=> (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 2092-2109 |
|
| (=> (and (rentalPrice ?OBJ ?QUANT ?AGENT ?PS) (equal ?QUANT (PerFn ?PRICE (measure ?TIME ?U))) (instance ?U UnitOfDuration) (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 (MeasureFn ?DURATION ?U)) (lessThanOrEqualTo ?DURATION ?TIME)) (exists (?P) (and (instance ?P Payment) (destination ?P ?AGENT) (agent ?P ?CUSTOMER) (transactionAmount ?P ?PRICE)))))) |
Catalog.kif 462-487 |
|
| (=> (periodicPayment ?Account ?Amount ?Period) (exists (?Payment) (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (frequency ?Payment ?Period)))) |
FinancialOntology.kif 742-749 |
|
|
|