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 3404-3405
(domain AuctionGMBFn 1 Collection)	UXExperimentalTerms.kif 3400-3400
(instance AuctionGMBFn UnaryFunction)	UXExperimentalTerms.kif 3398-3398
(range AuctionGMBFn CurrencyMeasure)	UXExperimentalTerms.kif 3402-3402

appearance as argument number 2

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

consequent

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

UXExperimentalTerms.kif 3409-3424

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

KB Term:			Term intersection

English Word: