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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Payment
Payment(payment)ante_up, defrayal, defrayment, disbursal, disburse, disbursement, expense, fee_splitting, interest_expense, non-cash_expense, pay, pay_out, pay_up, payment

appearance as argument number 1
-------------------------


s__documentation(s__Payment,s__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 debtors obligation."')

FinancialOntology.kif 404-406
s__instance(s__Payment,s__SetOrClass)

s__subclass(s__Payment,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 403-403 Payment is a subclass of financial transaction

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


s__instance(s__Payment,s__SetOrClass)

s__subclass(s__BankCardPayment,s__Payment)

s__instance(s__BankCardPayment,s__SetOrClass)

Dining.kif 402-402 Bank card payment is a subclass of payment
s__instance(s__Payment,s__SetOrClass)

s__instance(s__CashPayment,s__SetOrClass)

s__subclass(s__CashPayment,s__Payment)

Dining.kif 423-423 Cash payment is a subclass of payment
s__instance(s__Dividend,s__SetOrClass)

s__instance(s__Payment,s__SetOrClass)

s__subclass(s__Dividend,s__Payment)

FinancialOntology.kif 2024-2024 Dividend is a subclass of payment
s__instance(s__Payment,s__SetOrClass)

s__instance(s__Prepayment,s__SetOrClass)

s__subclass(s__Prepayment,s__Payment)

FinancialOntology.kif 784-784 Prepayment is a subclass of payment
s__instance(s__Payment,s__SetOrClass)

s__instance(s__Repayment,s__SetOrClass)

s__subclass(s__Repayment,s__Payment)

UXExperimentalTerms.kif 2073-2073 Repayment is a subclass of payment
s__termFormat(s__ChineseLanguage,s__Payment,'"付款"')

domainEnglishFormat.kif 44851-44851
s__termFormat(s__ChineseTraditionalLanguage,s__Payment,'"付款"')

domainEnglishFormat.kif 44850-44850
s__termFormat(s__EnglishLanguage,s__Payment,'"payment"')

domainEnglishFormat.kif 44849-44849

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


s__domainSubclass(s__validPaymentType__m,n__2,s__Payment)

Catalog.kif 244-244 The number 2 argument of valid payment type is a subclass of payment

antecedent
-------------------------


( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Payment,s__Payment) &
             s__origin(V__Payment,s__CurrencyFn(V__Account))
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__transactionAmount(V__Payment,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment))
  ,V__Balance1)
&
(V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment))
,V__Balance2)))))
)
)

FinancialOntology.kif 408-416

consequent
-------------------------


( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   (((s__instance(V__Object,s__Physical) &
         s__instance(V__Seller,s__Object) &
         s__instance(V__Money,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Process) &
         s__instance(V__Buyer,s__Agent))
       =>
       (((s__agent(V__Purchase,V__Buyer)
           &
           s__origin(V__Purchase,V__Seller)
         &
         s__patient(V__Purchase,V__Object)
       &
       s__monetaryValue(V__Object,V__Money))
   =>
   (( ? [V__Payment] :
       ((s__subProcess(V__Payment,V__Purchase)
         &
         s__instance(V__Payment,s__Payment) &
         s__transactionAmount(V__Payment,V__Money)
       &
       s__origin(V__Payment,V__Buyer)
     &
     s__destination(V__Payment,V__Seller))))))))
)
)

FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Total,s__Number) &
         s__instance(V__Total,s__CurrencyMeasure) &
         s__instance(V__BondHolder,s__Agent) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Principal,s__Number) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Bond,s__ZeroCouponBond) &
             s__maturityDate(s__AccountFn(V__Bond)
          ,V__Date)
         &
         s__possesses(V__BondHolder,V__Bond)
       &
       s__principalAmount(s__AccountFn(V__Bond)
    ,V__Principal)
   &
   s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
(( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))))))
)
)

FinancialOntology.kif 2282-2296
( ! [V__REPAYMENT,V__REPAYMENT_ORIGIN,V__REPAYMENT_DESTINATION] :
   (((s__instance(V__REPAYMENT,s__Repayment) &
         s__instance(V__REPAYMENT_DESTINATION,s__Object) &
         s__destination(V__REPAYMENT,V__REPAYMENT_DESTINATION)
       &
       s__instance(V__REPAYMENT_ORIGIN,s__Object) &
       s__origin(V__REPAYMENT,V__REPAYMENT_ORIGIN))
   =>
   (( ? [V__PAYMENT, V__PAYMENT_ORIGIN, V__PAYMENT_DESTINATION] :
       ((s__instance(V__PAYMENT,s__Payment) &
           s__instance(V__PAYMENT_ORIGIN,s__Object) &
           s__instance(V__PAYMENT_DESTINATION,s__Object) &
           ~((V__PAYMENT = V__REPAYMENT))
           &
           s__destination(V__PAYMENT,V__PAYMENT_DESTINATION)
         &
         s__origin(V__PAYMENT,V__PAYMENT_ORIGIN)
       &
       (V__PAYMENT_ORIGIN = V__REPAYMENT_DESTINATION)
       &
       (V__PAYMENT_DESTINATION = V__REPAYMENT_ORIGIN))))))
)
)

UXExperimentalTerms.kif 2092-2109
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
( ! [V__Amount,V__Period,V__Account] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Period,s__TimeDuration) &
         s__instance(V__Account,s__FinancialAccount))
       =>
       ((s__periodicPayment(V__Account,V__Amount,V__Period)
         =>
         (( ? [V__Payment] :
             ((s__instance(V__Payment,s__Payment) &
                 s__origin(V__Payment,s__CurrencyFn(V__Account))
             &
             s__transactionAmount(V__Payment,V__Amount)
           &
           s__frequency(V__Payment,V__Period))))))))
)
)

FinancialOntology.kif 702-709


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 3.0 is open source software produced by Articulate Software and its partners