askPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - askPrice

askPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1900-1901
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1896-1896	The number 1 argument of ask price is an instance of object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1897-1897	The number 2 argument of ask price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1898-1898	The number 3 argument of ask price is an instance of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1895-1895	ask price is an instance of ternary relation
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1894-1894	ask price is a subrelation of price

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2823-2823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2822-2822
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2821-2821
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8697-8697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8696-8696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8695-8695

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1979-2000	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 2179-2183	If an object is an instance of penny stock and an agent asks for a real number united states dollar(s) for the object, then the real number is less than 5
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1903-1913	If an agent asks for a currency measure for an object, then there exists a process such that the process is an instance of offering and there exists an entity such that the entity is an instance of selling and the agent is an agent of the entity and the object is a patient of the entity and the currency measure is a transaction amount of the entity is a patient of the process

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