![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Selling ChineseLanguage "这是一种 FinancialTransaction, 它发生在当一样 Physical 的实例,用来换取一种 CurrencyMeasure 实例的时候。 ") | chinese_format.kif 3109-3110 | |
(documentation Selling EnglishLanguage "A FinancialTransaction in which an instance of Physical is exchanged for an instance of CurrencyMeasure.") | Merge.kif 11130-11131 | |
(subclass Selling FinancialTransaction) | Merge.kif 11129-11129 | Selling is a subclass of financial transaction |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Buying Selling) | Merge.kif 11119-11119 | Buying is internally related to selling |
(subclass Auctioning Selling) | UXExperimentalTerms.kif 411-411 | Auction is a subclass of selling |
(termFormat ChineseLanguage Selling "出售") | chinese_format.kif 1143-1143 | |
(termFormat EnglishLanguage Selling "selling") | english_format.kif 1508-1508 |
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 |
|
(=> (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 3203-3229 |
|
(=> (and (instance ?SELL Selling) (agent ?SELL ?AGENT)) (origin ?SELL ?AGENT)) |
Merge.kif 11147-11151 |
|
(=> (and (instance ?TRANS Selling) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER Agent) (instance ?SELLER Agent) (destination ?TRANS ?BUYER) (agent ?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 2028-2045 |
|
consequent |
![]() |
![]() |
![]() |