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


s__documentation(s__objectOfBid__m,s__EnglishLanguage,'"A CaseRole of Bidding identifying the instance of Physical being bid on."')

UXExperimentalTerms.kif 1642-1643
s__domain(s__objectOfBid__m,n__1,s__Bidding)

UXExperimentalTerms.kif 1636-1636 The number 1 argument of object of bidding is an instance of bidding
s__domain(s__objectOfBid__m,n__2,s__Physical)

UXExperimentalTerms.kif 1638-1638 The number 2 argument of object of bidding is an instance of physical
s__instance(s__CaseRole,s__Class)

s__instance(s__objectOfBid__m,s__CaseRole)

UXExperimentalTerms.kif 1634-1634 object of bidding is an instance of case role

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


s__format(s__ChineseLanguage,s__objectOfBid__m,'"%1 是个 bid 对于 %2 "')

domainEnglishFormat.kif 4011-4011
s__format(s__ChineseTraditionalLanguage,s__objectOfBid__m,'"%1 是個 bid 對於 %2 "')

domainEnglishFormat.kif 4010-4010
s__format(s__EnglishLanguage,s__objectOfBid__m,'"%1 is a bid for %2"')

domainEnglishFormat.kif 4009-4009
s__termFormat(s__EnglishLanguage,s__objectOfBid__m,'"object of bidding"')

UXExperimentalTerms.kif 1640-1640

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


( ! [V__AGENT,V__OBJECT,V__AMOUNT,V__BIDDING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__AGENT,s__Class))
       =>
       (((s__instance(V__BIDDING,s__Bidding) &
             s__instance(V__OBJECT,s__Physical) &
             s__instance(V__AMOUNT,s__CurrencyMeasure) &
             s__instance(V__AGENT,V__AGENT)
           &
           s__objectOfBid(V__BIDDING,V__OBJECT)
         &
         s__amountOfBid(V__BIDDING,V__AMOUNT)
       &
       s__agent(V__BIDDING,V__AGENT))
   =>
   (s__bidPrice(V__OBJECT,V__AMOUNT,V__AGENT)))))
)
)

UXExperimentalTerms.kif 1614-1623

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
( ! [V__AGENT,V__OBJECT,V__AMOUNT] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__AMOUNT,s__CurrencyMeasure))
       =>
       ((s__bidPrice(V__OBJECT,V__AMOUNT,V__AGENT)
         =>
         (( ? [V__BIDDING] :
             ((s__instance(V__BIDDING,s__Bidding) &
                 s__objectOfBid(V__BIDDING,V__OBJECT)
               &
               s__amountOfBid(V__BIDDING,V__AMOUNT)
             &
             s__agent(V__BIDDING,V__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 3.0 is open source software produced by Articulate Software and its partners