TreeView 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 2994-2995
(domain GMVFn 1 Collection)	UXExperimentalTerms.kif 2990-2990	域 GMVFn, 1 and Collection
(instance GMVFn UnaryFunction)	UXExperimentalTerms.kif 2988-2988	例 GMVFn and UnaryFunction
(range GMVFn CurrencyMeasure)	UXExperimentalTerms.kif 2992-2992	範圍 GMVFn and CurrencyMeasure

appearance as argument number 2

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

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 3282-3302

例 Collection and Collection 例 RealNumber and CurrencyMeasure 例 Integer and RealNumber 等於 RealNumber and Collection 的 value 等於 Integer and 基數卡帕 SymbolicString and 例 SymbolicString and Object entity 會員 entity and Collection 患者 entity and SymbolicString
等於 Collection 的 average selling price and 部 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 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

例 Collection and Collection Physical
- 會員 Physical and Collection
- 例 Physical and Selling
Object 例 Object and GeopoliticalArea AutonomousAgent Process
- 例 AutonomousAgent and AutonomousAgent 例 Process and Buying 會員 Process and Collection agent Process and AutonomousAgent
- 位於 AutonomousAgent and Object
SymbolicString entity and entity_SALE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Selling 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_SALE_AMOUNT 等於 Collection 的 value and entity_SALE_AMOUNT

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: