| 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 3158-3159 | |
| (domain GMBFn 1 Collection) | UXExperimentalTerms.kif 3154-3154 | GMBFn 的 1 数量 是 群体 的 instance |
| (instance GMBFn UnaryFunction) | UXExperimentalTerms.kif 3152-3152 | GMBFn 是 一元函数 的 instance |
| (range GMBFn CurrencyMeasure) | UXExperimentalTerms.kif 3156-3156 | GMBFn 的 range 是 货币测量 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage GMBFn "%1 的 value ") | domainEnglishFormat.kif 3527-3527 | |
| (format ChineseTraditionalLanguage GMBFn "%1 的 value ") | domainEnglishFormat.kif 3526-3526 | |
| (format EnglishLanguage GMBFn "the value of %1") | domainEnglishFormat.kif 3525-3525 | |
| (termFormat EnglishLanguage GMBFn "gross merchandise bought") | UXExperimentalTerms.kif 3161-3161 |
| 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 3449-3469 |
| 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 Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (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 3163-3189 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners