Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
bidPrice
Sigma KEE - bidPrice
bidPrice
appearance as argument number 2
(
format
ChineseLanguage
bidPrice
"%3 bids %2 對於 %1 ")
domainEnglishFormat.kif 2899-2899
(
format
ChineseTraditionalLanguage
bidPrice
"%3 bids %2 對於 %1 ")
domainEnglishFormat.kif 2898-2898
(
format
EnglishLanguage
bidPrice
"%3 bids %2 for %1")
domainEnglishFormat.kif 2897-2897
(
termFormat
ChineseLanguage
bidPrice
"竞标价格")
domainEnglishFormat.kif 10982-10982
(
termFormat
ChineseTraditionalLanguage
bidPrice
"競標價格")
domainEnglishFormat.kif 10981-10981
(
termFormat
EnglishLanguage
bidPrice
"bid price")
domainEnglishFormat.kif 10980-10980
antecedent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
Agent
)
(
instance
?BIDDER2
Agent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-448
If
a process
is an
instance
of
auction
and
an entity
is an
instance
of
agent
and
another entity
is an
instance
of
agent
and
a third entity
is an
instance
of
object
and
an unit of measure
is an
instance
of
UnitOfCurrency
and
the third entity
is a
patient
of
the process
and
the entity
bids
a real number
the unit of measure
(s) for
the third entity
and
the other entity
bids
another real number
the unit of measure
(s) for
the third entity
and
the real number
is
greater
than
the other real number
,
then
the process
end
s up at
the entity
(=>
(
bidPrice
?OBJECT ?AMOUNT ?AGENT)
(
exists
(?BIDDING)
(
and
(
instance
?BIDDING
Bidding
)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1605-1612
If
an agent
bids
a currency measure
for
a physical
,
then there exists
a bidding
such that
the bidding
is an
instance
of
bidding
and
the bidding
is a
bid
for
the physical
and
the currency measure
is the
bid
of
the bidding
and
the agent
is an
agent
of
the bidding
consequent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
Agent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 426-435
If
a process
is an
instance
of
auction
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
agent
and
the third entity
is an
instance
of
currency measure
and
the other entity
bids
the third entity
for
the entity
(=>
(
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
If
a bidding
is an
instance
of
bidding
and
a physical
is an
instance
of
physical
and
a currency measure
is an
instance
of
currency measure
and
an agent
is an
instance
of
the agent
and
the bidding
is a
bid
for
the physical
and
the currency measure
is the
bid
of
the bidding
and
the agent
is an
agent
of
the bidding
,
then
the agent
bids
the currency measure
for
the physical
(=>
(
and
(
instance
?U
UnitOfCurrency
)
(
reservePrice
?AUCTION
(
MeasureFn
?AMOUNT ?U))
(
destination
?AUCTION ?BUYER))
(
exists
(?OFFER)
(
and
(
bidPrice
?ITEM
(
MeasureFn
?OFFER ?U) ?BUYER)
(
greaterThan
?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 520-528
If
an unit of measure
is an
instance
of
UnitOfCurrency
and the
reserve
price
of
an auction
is
a real number
the unit of measure
(s) and
the auction
end
s up at
an entity
,
then there exists
another real number
such that
the entity
bids
the other real number
the unit of measure
(s) for
another entity
and
the other real number
is
greater
than
the real number
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 135-141
If
an agent
bids
for
a web listing
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the web listing
,
then there exists
another entity
such that
the agent
bids
the other entity
for
the entity
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 3.0 is
open source software
produced by
Articulate Software
and its partners
