Auctioning - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Auctioning

Auctioning

appearance as argument number 1

(documentation Auctioning EnglishLanguage "A type of Selling where the destination of the patient of the Auctioning (i.e. the item being sold) is the Agent who placed the highest bidPrice.")	UXExperimentalTerms.kif 413-415
(subclass Auctioning Selling)	UXExperimentalTerms.kif 411-411	subclass Auctioning and Selling

appearance as argument number 2

(termFormat EnglishLanguage Auctioning "auction")

UXExperimentalTerms.kif 417-417

appearance as argument number 3

(domain reservePrice 1 Auctioning)

UXExperimentalTerms.kif 513-513

domain reservePrice, 1 and Auctioning

antecedent

(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 Agent) (instance ?BIDDER2 Agent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1))	UXExperimentalTerms.kif 437-448	instance Process and Auctioning instance Agent and Agent instance Agent and Agent instance Object and Object instance UnitOfMeasure and UnitOfCurrency patient Process and Object bidPrice Object, MeasureFn RealNumber and UnitOfMeasure and Agent bidPrice Object, MeasureFn RealNumber and UnitOfMeasure and Agent greaterThan RealNumber and RealNumber destination Process and Agent
(=> (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 426-435	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 ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (and (total (KappaFn ?AMOUNT (and (instance ?AUCTION Auctioning) (member ?AUCTION ?AUCTIONS) (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3409-3424	instance Collection and Collection Physical member Physical and Collection instance Physical and Auctioning total KappaFn SymbolicString and instance PhysicalTION and Auctioning member PhysicalTION and Collection transactionAmount PhysicalTION and SymbolicString and entity_PURCHASE_AMOUNT equal AuctionGMBFn Collection and entity_PURCHASE_AMOUNT
(=> (instance ?AUCTIONING Auctioning) (exists (?ITEM) (and (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM))))	UXExperimentalTerms.kif 419-424	instance Process and Auctioning Entity instance Entity and Object patient Process and Entity

consequent

(=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (and (total (KappaFn ?AMOUNT (and (instance ?AUCTION Auctioning) (member ?AUCTION ?AUCTIONS) (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3409-3424	instance Collection and Collection Physical member Physical and Collection instance Physical and Auctioning total KappaFn SymbolicString and instance PhysicalTION and Auctioning member PhysicalTION and Collection transactionAmount PhysicalTION and SymbolicString and entity_PURCHASE_AMOUNT equal AuctionGMBFn Collection and entity_PURCHASE_AMOUNT
(=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR Agent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM)))))	UXExperimentalTerms.kif 393-405	instance Object and WebListing instance Process and Object instance CognitiveAgent and Agent attribute Object and AuctionAttribute patient Process and Object creator CognitiveAgent and Object desires CognitiveAgent and entity instance entity and Auctioning patient entity and 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