TreeView Knowledge Base Browser

appearance as argument number 1

(instance GMBFn UnaryFunction)	UXExperimentalTerms.kif 2945-2945	Gross merchandise bought is an instance of unary function
(domain GMBFn 1 Collection)	UXExperimentalTerms.kif 2947-2947	The number 1 argument of gross merchandise bought is an instance of collection
(range GMBFn CurrencyMeasure)	UXExperimentalTerms.kif 2949-2949	The range of gross merchandise bought is an instance of currency measure
(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	The range of gross merchandise bought is an instance of currency measure

appearance as argument number 2

(termFormat EnglishLanguage GMBFn "gross merchandise bought")	UXExperimentalTerms.kif 2954-2954
(format EnglishLanguage GMBFn "the value of %1")	domainEnglishFormat.kif 3518-3518
(format ChineseTraditionalLanguage GMBFn "%1 的 value ")	domainEnglishFormat.kif 3519-3519
(format ChineseLanguage GMBFn "%1 的 value ")	domainEnglishFormat.kif 3520-3520

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 3238-3258

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 price of X, Y, and Z

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

If X is an instance of collection, For all Physical Y: if Y is a member of X, then Y is an instance of buying, 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_PURCHASE_AMOUNT such that the total of values in the class described by U is ?TOTAL_PURCHASE_AMOUNT, equal the value of X, and ?TOTAL_PURCHASE_AMOUNT

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

KB Term:			Term intersection

English Word: