Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AuctionGMBFn

Sigma KEE - AuctionGMBFn
AuctionGMBFn

appearance as argument number 1
-------------------------


(documentation AuctionGMBFn EnglishLanguage "The sum of all purchase prices in a collection of Auctionings.") UXExperimentalTerms.kif 3401-3402
(domain AuctionGMBFn 1 Collection) UXExperimentalTerms.kif 3397-3397
(instance AuctionGMBFn UnaryFunction) UXExperimentalTerms.kif 3395-3395
(range AuctionGMBFn CurrencyMeasure) UXExperimentalTerms.kif 3399-3399

appearance as argument number 2
-------------------------


(format EnglishLanguage AuctionGMBFn "the total purchase price of %1") domainEnglishFormat.kif 720-720
(termFormat EnglishLanguage AuctionGMBFn "gross merchandise bought in auctions") UXExperimentalTerms.kif 3404-3404

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 ?AUCTIONSS) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3406-3421


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners