GMVFn - Sigma Knowledge base Browser

appearance as argument number 1

(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 3201-3202
(domain GMVFn 1 Collection)	UXExperimentalTerms.kif 3197-3197	domain GMVFn, 1 and Collection
(instance GMVFn UnaryFunction)	UXExperimentalTerms.kif 3195-3195	instance GMVFn and UnaryFunction
(range GMVFn CurrencyMeasure)	UXExperimentalTerms.kif 3199-3199	range GMVFn and CurrencyMeasure

appearance as argument number 2

(format ChineseLanguage GMVFn "%1 的 value ")	domainEnglishFormat.kif 3531-3531
(format ChineseTraditionalLanguage GMVFn "%1 的 value ")	domainEnglishFormat.kif 3530-3530
(format EnglishLanguage GMVFn "the value of %1")	domainEnglishFormat.kif 3529-3529
(termFormat EnglishLanguage GMVFn "gross merchandise volume")	UXExperimentalTerms.kif 3204-3204

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 3492-3512

instance Collection and Collection instance RealNumber and CurrencyMeasure instance Integer and RealNumber equal RealNumber and GMVFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient entity and SymbolicString
equal ASPFn Collection and DivisionFn RealNumber and Integer

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 Agent)
                            (instance ?SELLING Buying)
                            (member ?SELLING ?SALES)
                            (agent ?SELLING ?SELLER))
                        (located ?SELLER ?REGION))))))
    (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 3206-3232

instance Collection and Collection Physical
- member Physical and Collection
- instance Physical and Selling
Object instance Object and GeopoliticalArea Agent Process
- instance Agent and Agent instance Process and Buying member Process and Collection agent Process and Agent
- located Agent and Object
total KappaFn SymbolicString and instance entity and Selling member entity and Collection transactionAmount entity and SymbolicString and entity_SALE_AMOUNT equal GMVFn Collection and entity_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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: