GMBFn |
appearance as argument number 1 |
(documentation GMBFn EnglishLanguage "The sum of all transactionAmounts for a collection of Buyings where all the agents of the buyings are in the same GeopoliticalArea.") | UXExperimentalTerms.kif 2951-2952 | |
(domain GMBFn 1 Collection) | UXExperimentalTerms.kif 2947-2947 | GMBFn の数値 1 引数は コレクション の instance では %n |
(instance GMBFn UnaryFunction) | UXExperimentalTerms.kif 2945-2945 | GMBFn は 1変数関数 の instance では %n |
(range GMBFn CurrencyMeasure) | UXExperimentalTerms.kif 2949-2949 | GMBFn の range は 通貨測定 のインスタンス では %n |
appearance as argument number 2 |
(format ChineseLanguage GMBFn "%1 的 value ") | domainEnglishFormat.kif 3522-3522 | |
(format ChineseTraditionalLanguage GMBFn "%1 的 value ") | domainEnglishFormat.kif 3521-3521 | |
(format EnglishLanguage GMBFn "the value of %1") | domainEnglishFormat.kif 3520-3520 | |
(termFormat EnglishLanguage GMBFn "gross merchandise bought") | UXExperimentalTerms.kif 2954-2954 |
antecedent |
(=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3239-3259 |
consequent |
(=> (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 |
|