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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - objectOfBid
objectOfBid

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


(documentation objectOfBid EnglishLanguage "A CaseRole of Bidding identifying the instance of Physical being bid on.") UXExperimentalTerms.kif 1639-1640
(domain objectOfBid 1 Bidding) UXExperimentalTerms.kif 1633-1633
(domain objectOfBid 2 Physical) UXExperimentalTerms.kif 1635-1635
(instance objectOfBid CaseRole) UXExperimentalTerms.kif 1631-1631

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


(format ChineseLanguage objectOfBid "%1 是个 bid 对于 %2 ") domainEnglishFormat.kif 4007-4007
(format ChineseTraditionalLanguage objectOfBid "%1 是個 bid 對於 %2 ") domainEnglishFormat.kif 4006-4006
(format EnglishLanguage objectOfBid "%1 is a bid for %2") domainEnglishFormat.kif 4005-4005
(termFormat EnglishLanguage objectOfBid "object of bidding") UXExperimentalTerms.kif 1637-1637

antecedent
-------------------------


(=>
    (and
        (instance ?BIDDING Bidding)
        (instance ?OBJECT Physical)
        (instance ?AMOUNT CurrencyMeasure)
        (instance ?AGENT ?AGENT)
        (objectOfBid ?BIDDING ?OBJECT)
        (amountOfBid ?BIDDING ?AMOUNT)
        (agent ?BIDDING ?AGENT))
    (bidPrice ?OBJECT ?AMOUNT ?AGENT))
UXExperimentalTerms.kif 1611-1620

consequent
-------------------------


(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (equal
        (CardinalityFn
            (KappaFn ?BIDDING
                (and
                    (instance ?ITEM Physical)
                    (instance ?LISTING WebListing)
                    (instance ?BIDDING Bidding)
                    (member ?LISTING ?COLL)
                    (objectOfBid ?BIDDING ?ITEM)
                    (patient ?LISTING ?ITEM))))
        (BidCountFn ?COLL)))
UXExperimentalTerms.kif 3125-3142
(=>
    (bidPrice ?OBJECT ?AMOUNT ?AGENT)
    (exists (?BIDDING)
        (and
            (instance ?BIDDING Bidding)
            (objectOfBid ?BIDDING ?OBJECT)
            (amountOfBid ?BIDDING ?AMOUNT)
            (agent ?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1602-1609


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



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