Buying(購買)![]() ![]() ![]() ![]() | ![]() |
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 12027-12028 | |
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/2/20/ Buying_clogs.jpg") | pictureList.kif 6221-6221 | |
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/3/3e/ Old_lady_buying_flowers.JPG") | pictureList.kif 6224-6224 | |
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/8/8d/ People_buying_tickets.jpeg") | pictureList.kif 6223-6223 | |
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Maximinus_denarius.jpg") | pictureList.kif 5894-5894 | |
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Commerce_alimentation_generale_paris.jpg") | pictureList.kif 6220-6220 | |
(externalImage Buying "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Buying_food.jpg") | pictureList.kif 6222-6222 | |
(relatedInternalConcept Buying Selling) | Merge.kif 12026-12026 | 購買 は 販売 に internally 関連して |
(subclass Buying FinancialTransaction) | Merge.kif 12025-12025 | 購買 は 金融取引 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Buying "购买") | chinese_format.kif 1142-1142 | |
(termFormat EnglishLanguage Buying "buying") | english_format.kif 1501-1501 | |
(termFormat FrenchLanguage Buying "acheter") | french_format.kif 820-820 | |
(termFormat Hindi Buying "kraya") | terms-hindi.txt 352-352 | |
(termFormat ItalianLanguage Buying "Acquistare") | terms-it.txt 355-355 | |
(termFormat JapaneseLanguage Buying "購買") | japanese_format.kif 2504-2504 | |
(termFormat PortugueseLanguage Buying "Comprar") | portuguese_format.kif 772-772 | |
(termFormat cb Buying "pagpalit") | terms-cb.txt 357-357 | |
(termFormat cz Buying "buying") | terms-cz.txt 391-391 | |
(termFormat de Buying "Kaufen") | terms-de.txt 650-650 | |
(termFormat ro Buying "cumpãrare") | relations-ro.kif 841-841 | |
(termFormat tg Buying "bumibili") | terms-tg.txt 356-356 |
antecedent |
![]() |
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?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 2025-2046 |
|
(=> (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 |
|
(=> (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 337-352 |
|
(=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT)) (destination ?BUY ?AGENT)) |
Merge.kif 12030-12034 |
|
(=> (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 12040-12051 | |
(=> (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 1940-1953 |
|
(=> (and (instance ?PURCHASE TransactionCollection) (instance ?BUYING1 Buying) (instance ?BUYING2 Buying) (subProcess ?BUYING1 ?PURCHASE) (subProcess ?BUYING2 ?PURCHASE)) (equal (WhenFn ?BUYING1) (WhenFn ?BUYING2))) |
UXExperimentalTerms.kif 1929-1938 | |
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER AutonomousAgent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT) (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 2956-2983 |
|
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER AutonomousAgent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT) (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 2999-3026 |
|
(=> (and (instance ?TRANS Buying) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (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 1841-1858 |
|
(=> (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)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (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 3668-3704 |
|
(=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?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 430-445 |
|
consequent |
![]() |
![]() |
![]() |