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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - reservePrice
reservePrice

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


s__documentation(s__reservePrice__m,s__EnglishLanguage,'"(reservePrice ?AUCTION ?AMOUNT) means that if an Auctioning was won (i.e. has a destination) then the buyer bid higher than ?AMOUNT."')

UXExperimentalTerms.kif 517-518
s__domain(s__reservePrice__m,n__1,s__Auctioning)

UXExperimentalTerms.kif 513-513 The number 1 argument of reserve Price is an instance of auction
s__domain(s__reservePrice__m,n__2,s__CurrencyMeasure)

UXExperimentalTerms.kif 515-515 The number 2 argument of reserve Price is an instance of currency measure
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__reservePrice__m,s__BinaryPredicate)

UXExperimentalTerms.kif 509-509 reserve Price is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__reservePrice__m,'"%1 的 reserve price 是 %2 "')

domainEnglishFormat.kif 4423-4423
s__format(s__ChineseTraditionalLanguage,s__reservePrice__m,'"%1 的 reserve price 是 %2 "')

domainEnglishFormat.kif 4422-4422
s__format(s__EnglishLanguage,s__reservePrice__m,'"the reserve price of %1 is %2"')

domainEnglishFormat.kif 4421-4421
s__termFormat(s__EnglishLanguage,s__reservePrice__m,'"reserve Price"')

UXExperimentalTerms.kif 511-511

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


( ! [V__AMOUNT,V__AUCTION,V__U,V__ITEM,V__BUYER] :
   (((s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__AUCTION,s__Auctioning) &
         s__instance(V__ITEM,s__Object) &
         s__instance(V__BUYER,s__Agent))
       =>
       (((s__instance(V__U,s__UnitOfCurrency) &
             s__reservePrice(V__AUCTION,s__MeasureFn(V__AMOUNT,V__U))
         &
         s__destination(V__AUCTION,V__BUYER))
     =>
     (( ? [V__OFFER] :
         ((s__instance(V__OFFER,s__RealNumber) &
             (s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER,V__U)
            ,V__BUYER)
           &
           s__greaterThan(V__OFFER,V__AMOUNT)))))))))
)
)

UXExperimentalTerms.kif 520-528


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