TreeView Knowledge Base Browser - bidPrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - bidPrice

bidPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1858-1859
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1855-1855	The number 1 argument of bid price is an instance of object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1856-1856	The number 2 argument of bid price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1857-1857	The number 3 argument of bid price is an instance of agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1854-1854	bid price is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1853-1853	bid price is a subrelation of price

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2899-2899
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2898-2898
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2897-2897
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10982-10982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10981-10981
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10980-10980

antecedent

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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 437-448	If a process is an instance of auction and an agent is an instance of agent and another agent is an instance of agent and an object is an instance of object and an unit of measure is an instance of UnitOfCurrency and the object is a patient of the process and the agent bids a real number the unit of measure(s) for the object and the other agent bids another real number the unit of measure(s) for the object and the real number is greater than the other real number, then the process ends up at the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1612	If an agent bids a currency measure for an object, then there exists a bidding such that the bidding is an instance of bidding and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1861-1871	If an agent bids 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 buying 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

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 426-435	If a process is an instance of auction and an object is an instance of object and the object is a patient of the process, then there exist an agent and a currency measure such that the agent is an instance of agent and the currency measure is an instance of currency measure and the agent bids the currency measure for the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1614-1623	If a bidding is an instance of bidding and an object is an instance of physical and a currency measure is an instance of currency measure and an agent is an instance of the agent and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding, then the agent bids the currency measure for the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 520-528	If an unit of measure is an instance of UnitOfCurrency and the reserve price of an auction is a real number the unit of measure(s) and the auction ends up at an agent, then there exists another real number such that the agent bids the other real number the unit of measure(s) for an object and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 135-141	If an agent bids for a web listing and an object is an instance of object and the object is a patient of the web listing, then there exists a currency measure such that the agent bids the currency measure for 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