Selling(販売) | ![]() |
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 12052-12053 | |
(subclass Selling FinancialTransaction) | Merge.kif 12051-12051 | 販売 は 金融取引 の subclass では |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Buying Selling) | Merge.kif 12041-12041 | 購買 は 販売 に internally 関連して |
(subclass Auctioning Selling) | UXExperimentalTerms.kif 328-328 | Auctioning は 販売 の subclass では |
(termFormat ChineseLanguage Selling "出售") | chinese_format.kif 1143-1143 | Auctioning は 販売 の subclass では |
(termFormat EnglishLanguage Selling "selling") | english_format.kif 1503-1503 | Auctioning は 販売 の subclass では |
(termFormat FrenchLanguage Selling "vendre") | french_format.kif 821-821 | Auctioning は 販売 の subclass では |
(termFormat Hindi Selling "vikraya") | terms-hindi.txt 353-353 | Auctioning は 販売 の subclass では |
(termFormat ItalianLanguage Selling "Vendere") | terms-it.txt 356-356 | Auctioning は 販売 の subclass では |
(termFormat JapaneseLanguage Selling "販売") | japanese_format.kif 2505-2505 | Auctioning は 販売 の subclass では |
(termFormat PortugueseLanguage Selling "Vender") | portuguese_format.kif 773-773 | Auctioning は 販売 の subclass では |
(termFormat cb Selling "pagbaligya") | terms-cb.txt 358-358 | Auctioning は 販売 の subclass では |
(termFormat cz Selling "selling") | terms-cz.txt 392-392 | Auctioning は 販売 の subclass では |
(termFormat de Selling "Verkaufen") | terms-de.txt 651-651 | Auctioning は 販売 の subclass では |
(termFormat ro Selling "vânzare") | relations-ro.kif 842-842 | Auctioning は 販売 の subclass では |
(termFormat tg Selling "nagbibili") | terms-tg.txt 357-357 | Auctioning は 販売 の subclass では |
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 2048-2069 |
|
(=> (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 ?SELL Selling) (agent ?SELL ?AGENT)) (origin ?SELL ?AGENT)) |
Merge.kif 12083-12087 |
|
(=> (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 1822-1839 |
|
consequent |
![]() |
![]() |
![]() |