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 1926-1927
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1923-1923	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 1924-1924	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 1925-1925	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 1922-1922	bid price is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1921-1921	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 2894-2894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2893-2893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2892-2892
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 2048-2069	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 unit of currency 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 354-365	If a process is an instance of auctioning 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 unit of currency 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 1407-1414	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 1929-1939	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 343-352	If a process is an instance of auctioning 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 1416-1425	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 415-423	If an unit of measure is an instance of unit of currency and the reserve price of an auctioning is a real number the unit of measure(s) and the auctioning ends up at an agent, then there exist another real number and an object such that the agent bids the other real number the unit of measure(s) for the 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 109-115	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