Payment - Sigma Knowledge base Browser

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 2005-2005	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 44767-44767
(termFormat ChineseTraditionalLanguage Payment "付款")	domainEnglishFormat.kif 44766-44766
(termFormat EnglishLanguage Payment "payment")	domainEnglishFormat.kif 44765-44765

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	agent Process and Agent origin Process and Object patient Process and Physical monetaryValue Physical and CurrencyMeasure FinancialTransaction subProcess FinancialTransaction and Process instance FinancialTransaction and Payment transactionAmount FinancialTransaction and CurrencyMeasure origin FinancialTransaction and Agent destination FinancialTransaction and Object
(=> (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	amountDue FinancialAccount, CurrencyMeasure and TimePosition accountHolder FinancialAccount and CognitiveAgent holdsObligation KappaFn SymbolicString and instance SymbolicString and Payment transactionAmount SymbolicString and CurrencyMeasure destination SymbolicString and CurrencyFn FinancialAccount origin SymbolicString and CurrencyFn FinancialAccount date SymbolicString and entity beforeOrEqual EndFn entity and BeginFn TimePosition and CognitiveAgent
(=> (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 2263-2277	instance FinancialAsset and ZeroCouponBond maturityDate AccountFn FinancialAsset and Day possesses FinancialAssetHolder and FinancialAsset principalAmount AccountFn FinancialAsset and CurrencyMeasure agreementPeriod AccountFn FinancialAsset and TimeInterval interestEarned AccountFn FinancialAsset, Interest and TimeInterval equal CurrencyMeasure and AdditionFn CurrencyMeasure and Interest FinancialTransaction instance FinancialTransaction and Payment destination FinancialTransaction and FinancialAssetHolder origin FinancialTransaction and AccountFn FinancialAsset transactionAmount FinancialTransaction and CurrencyMeasure
(=> (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	instance Process and Repayment instance Process_DESTINATION and Object destination Process and Process_DESTINATION instance Process_ORIGIN and Object origin Process and Process_ORIGIN Process Process_ORIGIN and Process_DESTINATION instance Process and Payment instance Process_ORIGIN and Object instance Process_DESTINATION and Object equal Process and Process destination Process and Process_DESTINATION origin Process and Process_ORIGIN equal Process_ORIGIN and Process_DESTINATION equal Process_DESTINATION and Process_ORIGIN
(=> (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	rentalPrice Physical, FunctionQuantity, CognitiveAgent and PricingScheme equal FunctionQuantity and PerFn CurrencyMeasure and PhysicalQuantity immediateInstance Entity and Physical instance Process and Renting patient Process and Entity possesses Physical and CognitiveAgent agent Process and Agent time Process and PhysicalQuantityINT TimeInterval during PhysicalQuantityINT and TimeInterval instance TimeInterval and TimeInterval duration TimeInterval and TimeDuration lessThanOrEqualTo TimeDuration and PhysicalQuantity FinancialTransaction instance FinancialTransaction and Payment destination FinancialTransaction and CognitiveAgent agent FinancialTransaction and Agent transactionAmount FinancialTransaction and CurrencyMeasure
(=> (periodicPayment ?Account ?Amount ?Period) (exists (?Payment) (and (instance ?Payment Payment) (origin ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment ?Amount) (frequency ?Payment ?Period))))	FinancialOntology.kif 695-702	periodicPayment FinancialAccount, CurrencyMeasure and TimeDuration Process instance Process and Payment origin Process and CurrencyFn FinancialAccount transactionAmount Process and CurrencyMeasure frequency Process and TimeDuration

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

KB Term:			Term intersection

English Word: