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 11822-11823 | |
(subclass Selling FinancialTransaction) | Merge.kif 11821-11821 | Selling is a subclass of financial transaction |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Buying Selling) | Merge.kif 11811-11811 | Buying is internally related to selling |
(subclass Auctioning Selling) | UXExperimentalTerms.kif 411-411 | Auctioning is a subclass of selling |
(termFormat ChineseLanguage Selling "出售") | chinese_format.kif 1143-1143 | |
(termFormat EnglishLanguage Selling "selling") | english_format.kif 1503-1503 |
antecedent |
![]() |
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (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 2045-2066 |
|
(=> (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 3205-3232 |
|
(=> (and (instance ?SELL Selling) (agent ?SELL ?AGENT)) (origin ?SELL ?AGENT)) |
Merge.kif 11853-11857 |
|
(=> (and (instance ?TRANS Selling) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (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 |
![]() |
![]() |
![]() |