TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 404-406
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	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 402-402	Bank card payment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	Dining.kif 423-423	Cash payment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2083-2083	Dividend is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 829-829	Prepayment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2073-2073	Repayment is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44851-44851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44850-44850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44849-44849

appearance as argument number 3

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

Catalog.kif 244-244

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 408-424

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 487-499	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 655-667	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 2341-2363	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 6819-6832	If a cognitive agent is an instance of HealthInsuranceCompany and another cognitive 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 other cognitive 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 other cognitive agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2092-2109	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 462-487	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 UnitOfDuration 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 the kind of physical possesses the cognitive agent and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if 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 another 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 742-749	If a financial account is periodic payment a currency measure for a time duration, then there exists a kind of process such that a kind of process is an instance of payment and the kind of process originates at the currency of the financial account and the currency measure is a transaction amount of the kind of process and the kind of process occurs every the time duration

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

Show without tree

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: