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 3205-3206
(domain AuctionGMBFn 1 Collection)	UXExperimentalTerms.kif 3201-3201	AuctionGMBFn 的 1 数量是群体的 instance
(instance AuctionGMBFn UnaryFunction)	UXExperimentalTerms.kif 3199-3199	AuctionGMBFn 是一元函数的 instance
(range AuctionGMBFn CurrencyMeasure)	UXExperimentalTerms.kif 3203-3203	AuctionGMBFn 的 range 是货币测量的实例

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 3208-3208

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 3210-3223

如果群体是群体的 instance 和对所有物理
- 如果那个物理是那个群体的 member，
- 然后那个物理是 Auctioning 的 instance
，
然后有存在符号串和实体_PURCHASE_AMOUNT 这样 total 价值在那个符号串所描述的类别是那个实体_PURCHASE_AMOUNT 和那个群体的 total purchase price equal 那个实体_PURCHASE_AMOUNT

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

KB Term:			Term intersection

English Word: