TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AuctionGMBFn EnglishLanguage "The sum of all purchase prices in a collection of Auctionings.")	UXExperimentalTerms.kif 3197-3198
(domain AuctionGMBFn 1 Collection)	UXExperimentalTerms.kif 3193-3193
(instance AuctionGMBFn UnaryFunction)	UXExperimentalTerms.kif 3191-3191
(range AuctionGMBFn CurrencyMeasure)	UXExperimentalTerms.kif 3195-3195

appearance as argument number 2

(format ChineseLanguage AuctionGMBFn "%1 的 total purchase price ")	domainEnglishFormat.kif 2846-2846
(format ChineseTraditionalLanguage AuctionGMBFn "%1 的 total purchase price ")	domainEnglishFormat.kif 2845-2845
(format EnglishLanguage AuctionGMBFn "the total purchase price of %1")	domainEnglishFormat.kif 2844-2844
(termFormat EnglishLanguage AuctionGMBFn "gross merchandise bought in auctions")	UXExperimentalTerms.kif 3200-3200

consequent

(=>
    (and
        (instance ?AUCTIONS Collection)
        (forall (?AUC)
            (=>
                (member ?AUC ?AUCTIONS)
                (instance ?AUC Auctioning))))
    (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
            (equal
                (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))

UXExperimentalTerms.kif 3202-3215

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

KB Term:			Term intersection

English Word: