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

VerbNet: contribute-13.2|disburse, contribute-13.2|disburse,


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 2005-2005 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 774-774 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 2068-2068 Repayment is a subclass of payment
s__termFormat(s__ChineseLanguage,s__Payment,'"付款"')

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

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

domainEnglishFormat.kif 44765-44765

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


s__domainSubclass(s__validPaymentType__m,n__2,s__Payment)

Catalog.kif 238-238 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__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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 614-626
( ! [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__CurrencyMeasure) &
       s__instance(V__BondHolder,s__Agent) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Interest,s__Interest) &
       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 2263-2277
( ! [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 2087-2104
( ! [V__AGENT,V__PS,V__DURATION,V__CUSTOMER,V__TIME,V__R,V__OBJ,V__PRICE,V__TIMEINT,V__ITEM,V__QUANT] :
   ((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__PS,s__PricingScheme) &
       s__instance(V__DURATION,s__TimeDuration) &
       s__instance(V__CUSTOMER,s__Agent) &
       s__instance(V__TIME,s__PhysicalQuantity) &
       s__instance(V__OBJ,s__Agent) &
       s__subclass(V__OBJ,s__Physical) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__instance(V__QUANT,s__FunctionQuantity))
     =>
     (s__rentalPrice(V__OBJ,V__QUANT,V__AGENT,V__PS)
     &
     (V__QUANT = s__PerFn(V__PRICE,V__TIME))
   &
   s__immediateInstance(V__ITEM,V__OBJ)
&
s__instance(V__R,s__Renting) &
s__patient(V__R,V__ITEM)
&
s__possesses(V__OBJ,V__AGENT)
&
s__agent(V__R,V__CUSTOMER)
&
s__time(V__R,V__TIMEINT))
=>
( ! [V__X] :
((s__during(V__TIMEINT,V__X)
&
s__instance(V__X,s__TimeInterval) &
s__duration(V__X,V__DURATION)
&
s__lessThanOrEqualTo(V__DURATION,V__TIME))
=>
( ? [V__P] :
((s__instance(V__P,s__Payment) &
s__destination(V__P,V__AGENT)
&
s__agent(V__P,V__CUSTOMER)
&
s__transactionAmount(V__P,V__PRICE))))))
)
)

Catalog.kif 450-472
( ! [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 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