TreeView Knowledge Base Browser

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	域 GMBFn, 1 and Collection
(instance GMBFn UnaryFunction)	UXExperimentalTerms.kif 2945-2945	例 GMBFn and UnaryFunction
(range GMBFn CurrencyMeasure)	UXExperimentalTerms.kif 2949-2949	範圍 GMBFn and CurrencyMeasure

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

例 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 price and 部 RealNumber and Integer

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

例 Collection and Collection Physical
- 會員 Physical and Collection
- 例 Physical and Buying
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_PURCHASE_AMOUNT total 價值在卡帕 SymbolicString and 例 entity and Buying 會員 entity and Collection SymbolicString 是 entity 的 transaction 總額是 entity_PURCHASE_AMOUNT 等於 Collection 的 value and entity_PURCHASE_AMOUNT

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

KB Term:			Term intersection

English Word: