TreeView Knowledge Base Browser - limitPrice

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - limitPrice

limitPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1949-1951
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1947-1947	The number 1 argument of limit price is an instance of limit order
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1948-1948	The number 2 argument of limit price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1946-1946	limit price is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1945-1945	limit price is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1539-1539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1538-1538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1537-1537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34452-34452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34451-34451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34450-34450

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1958-1979	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement 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 1981-2002	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of UnitOfCurrency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string

consequent

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

FinancialOntology.kif 1953-1956

If limit order is an attribute of an object,
then there exists a currency measure such that the currency measure is a limit price of the object

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