| 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 406-408 | |
| (subclass Payment FinancialTransaction) | FinancialOntology.kif 405-405 | 付款 是 金融交易 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass BankCardPayment Payment) | Dining.kif 429-429 | BankCardPayment 是 付款 的 subclass |
| (subclass CashPayment Payment) | Dining.kif 451-451 | CashPayment 是 付款 的 subclass |
| (subclass Dividend Payment) | FinancialOntology.kif 2091-2091 | 股利 是 付款 的 subclass |
| (subclass Prepayment Payment) | FinancialOntology.kif 832-832 | 预付款 是 付款 的 subclass |
| (subclass Repayment Payment) | UXExperimentalTerms.kif 1864-1864 | Repayment 是 付款 的 subclass |
| (termFormat ChineseLanguage Payment "付款") | domainEnglishFormat.kif 44876-44876 | Repayment 是 付款 的 subclass |
| (termFormat ChineseTraditionalLanguage Payment "付款") | domainEnglishFormat.kif 44875-44875 | Repayment 是 付款 的 subclass |
| (termFormat EnglishLanguage Payment "payment") | domainEnglishFormat.kif 44874-44874 | Repayment 是 付款 的 subclass |
| appearance as argument number 3 |
|
|
| (domainSubclass validPaymentType 2 Payment) | Catalog.kif 249-249 | 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 410-426 |
| 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 489-501 | |
| (=> (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 657-669 | |
| (=> (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 2350-2372 |
|
| (=> (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 8320-8333 | |
| (=> (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 1883-1900 |
|
| (=> (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) (agent ?R ?CUSTOMER) (time ?R ?TIMEINT)) (forall (?X) (=> (exists (?DURATION) (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 467-492 | |
| (=> (periodicPayment ?Account ?Amount ?Period) (exists (?Payment ?Class) (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (instance ?Payment ?Class) (frequency ?Class ?Period)))) |
FinancialOntology.kif 744-752 |
|
|
|