GMVFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance GMVFn UnaryFunction)	UXExperimentalTerms.kif 2988-2988	Gross merchandise volume is an instance of unary function
(domain GMVFn 1 Collection)	UXExperimentalTerms.kif 2990-2990	The number 1 argument of gross merchandise volume is an instance of collection
(range GMVFn CurrencyMeasure)	UXExperimentalTerms.kif 2992-2992	The range of gross merchandise volume is an instance of currency measure
(documentation GMVFn EnglishLanguage "The sum of all transactionAmounts for a collection of Sellings where all the agents of the sellings are in the same GeopoliticalArea.")	UXExperimentalTerms.kif 2994-2995	The range of gross merchandise volume is an instance of currency measure

appearance as argument number 2

(termFormat EnglishLanguage GMVFn "gross merchandise volume")	UXExperimentalTerms.kif 2997-2997
(format EnglishLanguage GMVFn "the value of %1")	domainEnglishFormat.kif 3522-3522
(format ChineseTraditionalLanguage GMVFn "%1 的 value ")	domainEnglishFormat.kif 3523-3523
(format ChineseLanguage GMVFn "%1 的 value ")	domainEnglishFormat.kif 3524-3524

antecedent

(=>
    (and
        (instance ?SELLINGS Collection)
        (instance ?GMV CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMV
            (GMVFn ?SELLINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?SELLING)
                            (and
                                (member ?SELLING ?SELLINGS)
                                (patient ?SELLING ?ITEM))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))

UXExperimentalTerms.kif 3281-3301

If X is an instance of collection, Y is an instance of currency measure, Z is an instance of real number, equal Y and the value of X, and equal Z and the number of instances in the class described by W, then equal the average selling price of X, Y, and Z

consequent

(=>
    (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

If X is an instance of collection, For all Physical Y: if Y is a member of X, then Y is an instance of selling, and there exists Z such that Z is an instance of geopolitical area, W, V W is an instance of agent, V is an instance of buying, V is a member of X, and W is an agent of V W is located at Z, then there exist U, T, ?TOTAL_SALE_AMOUNT such that the total of values in the class described by U is ?TOTAL_SALE_AMOUNT, equal the value of X, and ?TOTAL_SALE_AMOUNT

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners