Buying - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Buying ChineseLanguage "这是一种 FinancialTransaction，它发生在当一种 CurrencyMeasure 的实例，用来换取一样 Physical 实例的时候。 ")	chinese_format.kif 3107-3108
(documentation Buying EnglishLanguage "A FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of Physical.")	Merge.kif 11070-11071
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg")	pictureList.kif 6223-6223
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG")	pictureList.kif 6226-6226
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg")	pictureList.kif 6225-6225
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg")	pictureList.kif 5896-5896
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce-alimentation-generale-paris.jpg")	pictureList.kif 6222-6222
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg")	pictureList.kif 6224-6224
(relatedInternalConcept Buying Selling)	Merge.kif 11069-11069	relatedInternalConcept Buying and Selling
(subclass Buying FinancialTransaction)	Merge.kif 11068-11068	subclass Buying and FinancialTransaction

appearance as argument number 2

(termFormat ChineseLanguage Buying "购买")	chinese_format.kif 1142-1142
(termFormat EnglishLanguage Buying "buying")	english_format.kif 1506-1506

antecedent

(<=> (exists (?BUY) (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT))) (exists (?SELL) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT))))	Merge.kif 11083-11095	Process instance Process and Buying agent Process and Agent origin Process and Agent patient Process and Entity Process instance Process and Selling agent Process and Agent destination Process and Agent patient Process and Entity
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (askPrice ?Object ?Price ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 1945-1963	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Buying and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and CurrencyMeasure askPrice Security, CurrencyMeasure and Agent lessThanOrEqualTo CurrencyMeasure and CurrencyMeasure holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally Agent and SymbolicStringingTime and Agreement
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT))))	Dining.kif 130-150	customer CognitiveAgent and CognitiveAgent corkageFee CurrencyMeasure, Object and CognitiveAgent instance Object and Object Process instance Process and Buying patient Process and Object destination Process and CognitiveAgent origin Process and CognitiveAgent instance Process and Drinking agent Process and CognitiveAgent resource Process and Object Process instance Process and Corkage agent Process and CognitiveAgent refers Process and Object destination Process and CognitiveAgent
(=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 322-337	instance Process and Buying patient Process and Entity origin Process and CognitiveAgent publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme subclass Entity and Physical immediateInstance Entity and Entity validPaymentType PricingScheme and Payment modalAttribute PaymentMENT instance PaymentMENT and Payment subProcess PaymentMENT and Process and Likely
(=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT)) (destination ?BUY ?AGENT))	Merge.kif 11073-11077	instance Process and Buying agent Process and Agent destination Process and Agent
(=> (and (instance ?PURCHASE TransactionCollection) (instance ?BUYING1 Buying) (instance ?BUYING2 Buying) (subProcess ?BUYING1 ?PURCHASE) (subProcess ?BUYING2 ?PURCHASE) (agent ?PURCHASE ?AGENT) (instrument ?PURCHASE ?INST)) (and (agent ?BUYING1 ?AGENT) (agent ?BUYING2 ?AGENT) (instrument ?BUYING1 ?INST) (instrument ?BUYING2 ?INST)))	UXExperimentalTerms.kif 2144-2157	instance Process and TransactionCollection instance Process and Buying instance Process and Buying subProcess Process and Process subProcess Process and Process agent Process and Agent instrument Process and Object agent Process and Agent agent Process and Agent instrument Process and Object instrument Process and Object
(=> (and (instance ?PURCHASE TransactionCollection) (instance ?BUYING1 Buying) (instance ?BUYING2 Buying) (subProcess ?BUYING1 ?PURCHASE) (subProcess ?BUYING2 ?PURCHASE)) (equal (WhenFn ?BUYING1) (WhenFn ?BUYING2)))	UXExperimentalTerms.kif 2133-2142	instance Process and TransactionCollection instance Process and Buying instance Process and Buying subProcess Process and Process subProcess Process and Process equal WhenFn Process and WhenFn Process
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3158-3184	instance Collection and Collection Object member Object and Collection instance Object and Buying Object instance Object and GeopoliticalArea Agent Object instance Agent and Agent instance Object and Buying member Object and Collection agent Object and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Buying member entity and Collection transactionAmount entity and SymbolicString and entity_PURCHASE_AMOUNT equal GMBFn Collection and entity_PURCHASE_AMOUNT
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER Agent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))	UXExperimentalTerms.kif 3201-3227	instance Collection and Collection Object member Object and Collection instance Object and Selling Object instance Object and GeopoliticalArea Agent Object instance Agent and Agent instance Object and Buying member Object and Collection agent Object and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Selling member entity and Collection transactionAmount entity and SymbolicString and entity_SALE_AMOUNT equal GMVFn Collection and entity_SALE_AMOUNT
(=> (and (instance ?TRANS Buying) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER Agent) (instance ?SELLER Agent) (agent ?TRANS ?BUYER) (origin ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 2045-2062	instance Object and Buying attribute Object and CBT patient Object and Entity instance Entity and Object Object Agent, Agent_LOCATION and Object_LOCATION instance Agent and Agent instance Object and Agent agent Object and Agent origin Object and Object instance Agent_LOCATION and GeopoliticalArea instance Object_LOCATION and GeopoliticalArea located Object and Object_LOCATION located Agent and Agent_LOCATION equal Agent_LOCATION and Object_LOCATION
(=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))	UXExperimentalTerms.kif 3871-3906	instance Collection and Collection instance Collection and Collection subCollection Collection and Collection Object member Object and Collection instance Object and AccessingWebPage Process Agent, Object, Process and Object instance Agent and Human instance Process and Buying instance Object and AccessingWebPage instance Object and WebPage member Object and Collection destination Object and Object agent Process and Agent agent Object and Agent during WhenFn Process and WhenFn Object instrument Process and Object member Process and Collection equal SCRFn Collection and TimeInterval and DivisionFn CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval and CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval
(=> (and (productPrice ?ENT ?PRICE1 ?AGENT) (publishedPrice ?ENT ?PRICE2 ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely))	Catalog.kif 415-427	productPrice Entity, CurrencyMeasure and CognitiveAgent publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme validFor PricingScheme and Agent instance Entity and Entity instance Process and Buying immediateInstance Agent and Agent agent Process and Agent origin Process and CognitiveAgent lessThan CurrencyMeasure and CurrencyMeasure modalAttribute transactionAmount Process and CurrencyMeasure and Likely

consequent

(=> (and (ABPFn ?BUYINGS) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying))	UXExperimentalTerms.kif 3436-3440	ABPFn Collection member Object and Collection instance Object and Buying
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order ?LimitPrice) (askPrice ?Object ?Price ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 1945-1963	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Buying and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and CurrencyMeasure askPrice Security, CurrencyMeasure and Agent lessThanOrEqualTo CurrencyMeasure and CurrencyMeasure holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally Agent and SymbolicStringingTime and Agreement
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Physical)) (exists (?TRANS) (and (instance ?TRANS Buying) (patient ?TRANS ?ITEM) (agent ?TRANS ?CUST) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 28134-28143	buys CognitiveAgent, CognitiveAgent and Entity instance Entity and Physical Process instance Process and Buying patient Process and Entity agent Process and CognitiveAgent origin Process and CognitiveAgent
(=> (and (buys ?CUST ?AGENT ?ITEM) (instance ?ITEM Proposition)) (exists (?TRANS ?PROC) (and (agent ?TRANS ?CUST) (realization ?PROC ?ITEM) (instance ?TRANS Buying) (patient ?TRANS ?PROC) (origin ?TRANS ?AGENT))))	Mid-level-ontology.kif 28145-28155	buys CognitiveAgent, CognitiveAgent and Proposition instance Proposition and Proposition Process Process agent Process and CognitiveAgent realization Process and Proposition instance Process and Buying patient Process and Process origin Process and CognitiveAgent
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (during (WhenFn ?BUYING) ?INT))))	UXExperimentalTerms.kif 3737-3746	firstTimeBuyers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Buying agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite during WhenFn FinancialTransaction and TimeInterval
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (earlier (WhenFn ?BUYING) ?INT)))))	UXExperimentalTerms.kif 3748-3758	firstTimeBuyers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Buying agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite earlier WhenFn FinancialTransaction and TimeInterval
(=> (and (instance ?ATC AddToCart) (instance ?USER Agent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1506-1518	instance Process and AddToCart instance CognitiveAgent and Agent instance Entity and Object agent Process and CognitiveAgent patient Process and Entity desires CognitiveAgent and entity instance entity and Buying patient entity and Entity agent entity and CognitiveAgent
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER FinancialTransaction)))) (equal (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Physical) (instance ?BUYING Buying) (member ?BUYING ?COLL) (patient ?BUYING ?ITEM)))) (BoughtItemsFn ?COLL)))	UXExperimentalTerms.kif 3091-3106	instance Collection and Collection Object member Object and Collection instance Object and FinancialTransaction equal CardinalityFn KappaFn SymbolicString and instance SymbolicString and Physical instance entity and Buying member entity and Collection patient entity and SymbolicString and BoughtItemsFn Collection
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 3050-3074	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and WebListing instance entity and WebSite instance entity and Physical member SymbolicString and Collection patient SymbolicString and entity hostedOn SymbolicString and entity entity instance entity and Buying patient entity and entity eCommerceSite entity and entity and CardinalityFn Collection and BidCountFn Collection
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT)) (during (WhenFn ?PURCHASE) ?INTERVAL)))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (during (WhenFn ?ACCESSING) ?INTERVAL) (agent ?ACCESSING ?USER))))) (PPIFn ?EXPERIMENT ?INTERVAL)))	UXExperimentalTerms.kif 3297-3316	instance Experimenting and Experimenting instance TimeInterval and TimeInterval equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and Buying member SymbolicString and QualifyingPurchasesFn Experimenting during WhenFn SymbolicString and TimeInterval and CardinalityFn KappaFn SymbolicString and member SymbolicString and TreatedUsersFn Experimenting instance entity and AccessingWebPage during WhenFn entity and TimeInterval agent entity and SymbolicString and PPIFn Experimenting and TimeInterval
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT))))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER))))) (PPSFn ?EXPERIMENT)))	UXExperimentalTerms.kif 3258-3275	instance Experimenting and Experimenting instance Entity and TimeInterval equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and Buying member SymbolicString and QualifyingPurchasesFn Experimenting and CardinalityFn KappaFn SymbolicString and member SymbolicString and TreatedUsersFn Experimenting instance entity and AccessingWebPage agent entity and SymbolicString and PPSFn Experimenting
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option CallOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Buy) (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2675-2687	instance Process and ExerciseAnOption patient Process and Agreement property Agreement and CallOption time Process and TimePosition underlier Agreement and FinancialInstrument Process instance Process and Buying patient Process and FinancialInstrument time Process and TimePosition measure FinancialInstrument and MeasureFn 100 and ShareUnit
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT Agent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))	UXExperimentalTerms.kif 3579-3611	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Buying agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewBuyersFn TimeInterval and WebSite and Collection
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3158-3184	instance Collection and Collection Object member Object and Collection instance Object and Buying Object instance Object and GeopoliticalArea Agent Object instance Agent and Agent instance Object and Buying member Object and Collection agent Object and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Buying member entity and Collection transactionAmount entity and SymbolicString and entity_PURCHASE_AMOUNT equal GMBFn Collection and entity_PURCHASE_AMOUNT
(=> (and (listingBuyer ?LISTING ?BUYER) (instance ?OBJ Object) (instance ?SITE WebSite) (patient ?LISTING ?OBJECT) (hostedOn ?LISTING ?SITE)) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (eCommerceSite ?BUYING ?SITE) (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 105-117	listingBuyer WebListing and Agent instance Entity and Object instance WebSite and WebSite patient WebListing and EntityECT hostedOn WebListing and WebSite FinancialTransaction instance FinancialTransaction and Buying patient FinancialTransaction and Entity eCommerceSite FinancialTransaction and WebSite agent FinancialTransaction and Agent
(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (exists (?B) (agreementClause (=> (and (instance ?B Buying) (patient ?B ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?B ?BUYER) (origin ?B ?SELLER)) (transactionAmount ?B ?PRICE)) Obligation ?AGREE ?SELLER)))	Catalog.kif 295-309	negotiatedPrice Entity, CurrencyMeasure and Agreement partyToAgreement CognitiveAgent and Agreement partyToAgreement CognitiveAgent and Agreement entity agreementClause instance entity and Buying patient entity and entity immediateInstance entity and Entity agent entity and CognitiveAgent origin entity and CognitiveAgent transactionAmount entity and CurrencyMeasure , Obligation, Agreement and CognitiveAgent
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 339-355	publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme subclass Entity and Physical immediateInstance Entity and Entity validFor PricingScheme and Agent instance Entity and Agent modalAttribute instance entity and Buying agent entity and Entity origin entity and CognitiveAgent patient entity and Entity transactionAmount entity and CurrencyMeasure and Likely
(=> (and (property ?Option Option) (optionHolder ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (underlier ?Option ?Stocks) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate))) (holdsRight (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2545-2561	property Agreement and Option optionHolder Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval underlier Agreement and FinancialInstrument price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval holdsRight KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (and (property ?Option Option) (optionSeller ?Option ?Agent) (strikePrice ?Option ?Price) (agreementExpirationDate ?Option ?ExpDate) (price ?Stocks ?Price ?Time) (instance ?Time TimeInterval) (before (EndFn ?Time) (BeginFn ?ExpDate)) (underlier ?Option ?Stocks)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Stocks) (time ?Buy ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)) (agent ?Buy ?Agent))) ?Agent))	FinancialOntology.kif 2609-2625	property Agreement and Option optionSeller Agreement and CognitiveAgent strikePrice Agreement and CurrencyMeasure agreementExpirationDate Agreement and TimeInterval price FinancialInstrument, CurrencyMeasure and Agent instance Agent and TimeInterval before EndFn Agent and BeginFn TimeInterval underlier Agreement and FinancialInstrument holdsObligation KappaFn SymbolicString and instance SymbolicString and Buying patient SymbolicString and FinancialInstrument time SymbolicString and Agent measure FinancialInstrument and MeasureFn 100 and ShareUnit agent SymbolicString and CognitiveAgent and CognitiveAgent
(=> (and (watchingListings ?USER ?COLL ?SITE) (instance ?LISTING WebListing) (instance ?OBJ Object) (patient ?LISTING ?OBJ) (member ?LISTING ?COLL)) (modalAttribute (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))) Likely))	UXExperimentalTerms.kif 1451-1465	watchingListings Agent, Collection and WebSite instance Process and WebListing instance Entity and Object patient Process and Entity member Process and Collection modalAttribute desires Agent and entity instance entity and Buying patient entity and Entity agent entity and Agent and Likely
(=> (and (webPurchases ?PURCHASES ?BUYER ?SITE) (member ?BUYING ?PURCHASES)) (and (instance ?BUYING Buying) (agent ?BUYING ?BUYER) (eCommerceSite ?BUYING ?SITE)))	UXExperimentalTerms.kif 1032-1039	webPurchases Collection, Human and WebSite member Object and Collection instance Object and Buying agent Object and Human eCommerceSite Object and WebSite
(=> (and (webcart ?USER ?COLL ?SITE) (instance ?OBJ Object) (member ?OBJ ?COLL)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 860-870	webcart CognitiveAgent, Collection and WebSite instance Object and Object member Object and Collection desires CognitiveAgent and entity instance entity and Buying patient entity and Object agent entity and CognitiveAgent
(=> (attribute ?O NewItem) (not (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O)))))	Cars.kif 5122-5128	attribute Object and NewItem Transfer instance Transfer and Buying objectTransferred Transfer and Object
(=> (attribute ?O UsedItem) (exists (?B) (and (instance ?B Buying) (objectTransferred ?B ?O))))	Cars.kif 5109-5114	attribute Object and UsedItem Transfer instance Transfer and Buying objectTransferred Transfer and Object
(=> (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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: