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 1642-1643
(domain objectOfBid 1 Bidding) UXExperimentalTerms.kif 1636-1636 The number 1 argument of object of bidding is an instance of bidding
(domain objectOfBid 2 Physical) UXExperimentalTerms.kif 1638-1638 The number 2 argument of object of bidding is an instance of physical
(instance objectOfBid CaseRole) UXExperimentalTerms.kif 1634-1634 object of bidding is an instance of case role

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


(format EnglishLanguage objectOfBid "%1 is a bid for %2") domainEnglishFormat.kif 1011-1011
(termFormat EnglishLanguage objectOfBid "object of bidding") UXExperimentalTerms.kif 1640-1640 "object of bidding" is the printable form of object of bidding in english language

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 1614-1623

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 3127-3144
(=>
    (bidPrice ?OBJECT ?AMOUNT ?AGENT)
    (exists (?BIDDING)
        (and
            (instance ?BIDDING Bidding)
            (objectOfBid ?BIDDING ?OBJECT)
            (amountOfBid ?BIDDING ?AMOUNT)
            (agent ?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1605-1612


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