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 | The number 1 argument of gross merchandise bought is an instance of collection |
(instance GMBFn UnaryFunction) | UXExperimentalTerms.kif 2945-2945 | Gross merchandise bought is an instance of unary function |
(range GMBFn CurrencyMeasure) | UXExperimentalTerms.kif 2949-2949 | The range of gross merchandise bought is an instance of currency measure |
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 |
|