bidPrice - Sigma Knowledge base Browser

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

(documentation bidPrice EnglishLanguage "(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.")	FinancialOntology.kif 1845-1846
(domain bidPrice 1 Object)	FinancialOntology.kif 1842-1842	domain bidPrice, 1 and Object
(domain bidPrice 2 CurrencyMeasure)	FinancialOntology.kif 1843-1843	domain bidPrice, 2 and CurrencyMeasure
(domain bidPrice 3 Agent)	FinancialOntology.kif 1844-1844	domain bidPrice, 3 and Agent
(instance bidPrice TernaryPredicate)	FinancialOntology.kif 1841-1841	instance bidPrice and TernaryPredicate
(subrelation bidPrice price)	FinancialOntology.kif 1840-1840	subrelation bidPrice and price

appearance as argument number 2

(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ")	domainEnglishFormat.kif 2895-2895
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ")	domainEnglishFormat.kif 2894-2894
(format EnglishLanguage bidPrice "%3 bids %2 for %1")	domainEnglishFormat.kif 2893-2893
(termFormat ChineseLanguage bidPrice "竞标价格")	domainEnglishFormat.kif 10921-10921
(termFormat ChineseTraditionalLanguage bidPrice "競標價格")	domainEnglishFormat.kif 10920-10920
(termFormat EnglishLanguage bidPrice "bid price")	domainEnglishFormat.kif 10919-10919

antecedent

(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (bidPrice ?Object ?Price ?Time) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 1965-1983	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Selling and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and CurrencyMeasure bidPrice Security, CurrencyMeasure and Agent greaterThanOrEqualTo CurrencyMeasure and CurrencyMeasure holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally SymbolicStringingTime and Agent and Agreement
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 Agent) (instance ?BIDDER2 Agent) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM ?OFFER1 ?BIDDER1) (bidPrice ?ITEM ?OFFER2 ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1))	UXExperimentalTerms.kif 435-445	instance Process and Auctioning instance Agent and Agent instance Agent and Agent instance Object and Object patient Process and Object bidPrice Object, CurrencyMeasure and Agent bidPrice Object, CurrencyMeasure and Agent greaterThan CurrencyMeasure and CurrencyMeasure destination Process and Agent
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1602-1609	bidPrice Object, CurrencyMeasure and Agent Bidding instance Bidding and Bidding objectOfBid Bidding and Object amountOfBid Bidding and CurrencyMeasure agent Bidding and Agent
(=> (bidPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money)))))))	FinancialOntology.kif 1848-1858	bidPrice Object, CurrencyMeasure and Agent Process instance Process and Offering patient Process and entity instance entity and Buying agent entity and Agent patient entity and Object transactionAmount entity and CurrencyMeasure

consequent

(=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER Agent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER))))	UXExperimentalTerms.kif 424-433	instance Process and Auctioning instance Object and Object patient Process and Object Agent CurrencyMeasure instance Agent and Agent instance CurrencyMeasure and CurrencyMeasure bidPrice Object, CurrencyMeasure and Agent
(=> (and (instance ?BIDDING Bidding) (instance ?OBJECT Physical) (instance ?AMOUNT CurrencyMeasure) (instance ?AGENT ?AGENT) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)) (bidPrice ?OBJECT ?AMOUNT ?AGENT))	UXExperimentalTerms.kif 1611-1620	instance Bidding and Bidding instance Object and Physical instance CurrencyMeasure and CurrencyMeasure instance Agent and Agent objectOfBid Bidding and Object amountOfBid Bidding and CurrencyMeasure agent Bidding and Agent bidPrice Object, CurrencyMeasure and Agent
(=> (and (listingBidder ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (exists (?MONEY) (bidPrice ?OBJ ?MONEY ?AGENT)))	UXExperimentalTerms.kif 135-141	listingBidder WebListing and Agent instance Object and Object patient WebListing and Object CurrencyMeasure bidPrice Object, CurrencyMeasure and Agent
(=> (and (reservePrice ?AUCTION ?AMOUNT) (destination ?AUCTION ?BUYER)) (exists (?OFFER) (and (bidPrice ?ITEM ?OFFER ?BUYER) (greaterThan ?OFFER ?AMOUNT))))	UXExperimentalTerms.kif 517-524	reservePrice Auctioning and CurrencyMeasure destination Auctioning and Agent CurrencyMeasure bidPrice Object, CurrencyMeasure and Agent greaterThan CurrencyMeasure and CurrencyMeasure

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners