Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Payment
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 Payment and FinancialTransaction

appearance as argument number 2
-------------------------


(subclass BankCardPayment Payment) Dining.kif 402-402 subclass BankCardPayment and Payment
(subclass CashPayment Payment) Dining.kif 423-423 subclass CashPayment and Payment
(subclass Dividend Payment) FinancialOntology.kif 2004-2004 subclass Dividend and Payment
(subclass Prepayment Payment) FinancialOntology.kif 774-774 subclass Prepayment and Payment
(subclass Repayment Payment) UXExperimentalTerms.kif 2068-2068 subclass Repayment and Payment
(termFormat ChineseLanguage Payment "付款") domainEnglishFormat.kif 44797-44797 termFormat ChineseLanguage, Payment and "付款"
(termFormat ChineseTraditionalLanguage Payment "付款") domainEnglishFormat.kif 44796-44796 termFormat ChineseTraditionalLanguage, Payment and "付款"
(termFormat EnglishLanguage Payment "payment") domainEnglishFormat.kif 44795-44795 termFormat EnglishLanguage, Payment and "payment"

appearance as argument number 3
-------------------------


(domainSubclass validPaymentType 2 Payment) Catalog.kif 238-238 domainSubclass validPaymentType, 2 and Payment

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 2262-2276
(=>
    (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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners