Payment - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 406-408
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 405-405	Payment is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 429-429	Bank card payment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	Dining.kif 451-451	Cash payment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2091-2091	Dividend is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 832-832	Prepayment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1864-1864	Repayment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44876-44876	Repayment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44875-44875	Repayment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44874-44874	Repayment is a subclass of payment

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Catalog.kif 249-249

The number 2 argument of valid payment type is a subclass of payment

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 410-426

If a financial transaction is an instance of payment and the financial transaction originates at the currency of a financial account and the financial account is an instance of financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number),
then the financial account current account balance immediately after the time of existence of the financial transaction for the third real number the unit of measure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 489-501	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 657-669	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2350-2372	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8320-8333	If a cognitive agent is an instance of health insurance company and an agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the real number, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 744-752	If a financial account is periodic payment a currency measure for a time duration, then there exist a financial transaction and a kind of process such that the financial transaction is an instance of payment and the financial transaction originates at the currency of the financial account and the currency measure is a transaction amount of the financial transaction and the financial transaction is an instance of a kind of process and the kind of process occurs every the time duration

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

KB Term:			Term intersection

English Word: