Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 1
(
documentation
bidPrice
EnglishLanguage
"(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.")
FinancialOntology.kif 1909-1910
(
domain
bidPrice
1
Object
)
FinancialOntology.kif 1906-1906
竞标价格
的 1 数量 是
客体
的
instance
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
竞标价格
的 2 数量 是
货币测量
的
instance
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
竞标价格
的 3 数量 是
施事体
的
instance
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
竞标价格
是
三元谓语
的
instance
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
竞标价格
是
价钱
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
bidPrice
"%3 bids %2 對於 %1 ")
domainEnglishFormat.kif 2898-2898
(
format
ChineseTraditionalLanguage
bidPrice
"%3 bids %2 對於 %1 ")
domainEnglishFormat.kif 2897-2897
(
format
EnglishLanguage
bidPrice
"%3 bids %2 for %1")
domainEnglishFormat.kif 2896-2896
(
termFormat
ChineseLanguage
bidPrice
"竞标价格")
domainEnglishFormat.kif 10973-10973
(
termFormat
ChineseTraditionalLanguage
bidPrice
"競標價格")
domainEnglishFormat.kif 10972-10972
(
termFormat
EnglishLanguage
bidPrice
"bid price")
domainEnglishFormat.kif 10971-10971
antecedent
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
如果
限价订单
是
金融交易
的
attribute
和
协议
是
那个 金融交易
的
party
协议 和
经纪人
是
那个 协议
的
attribute
和
那个 金融交易
是 對於
安全
的
order
出售
和
那个 安全
的
measure
是
物理量
和
实数
测量单位
是
那个 金融交易
的
limit
价格 和
施事体
bids
另一个 实数
那个 测量单位
對於
那个 安全
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
那个 协议
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
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 354-365
如果
过程
是
Auctioning
的
instance
和
施事体
是
施事体
的
instance
和
另一个 施事体
是
施事体
的
instance
和
客体
是
客体
的
instance
和
测量单位
是
UnitOfCurrency
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
bids
实数
那个 测量单位
對於
那个 客体
和
那个 另外 施事体
bids
另一个 实数
那个 测量单位
對於
那个 客体
和
那个 实数
是
greaterThan
那个 另外 实数
,
然后
那个 过程
在
那个 施事体
结束
(=>
(
bidPrice
?OBJECT ?AMOUNT ?AGENT)
(
exists
(?BIDDING)
(
and
(
instance
?BIDDING
Bidding
)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1407-1414
如果
施事体
bids
货币测量
對於
客体
,
然后 有存在
Bidding
这样
那个 Bidding
是
Bidding
的
instance
和
那个 Bidding
是个
bid
对于
那个 客体
和
那个 货币测量
是
那个 Bidding
的
bid
和
那个 施事体
是
那个 Bidding
的
agent
(=>
(
bidPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money)))))))
FinancialOntology.kif 1912-1922
如果
施事体
bids
货币测量
對於
客体
,
然后 有存在
过程
这样
那个 过程
是
提供
的
instance
和 有存在
实体
这样
那个 实体
是
购买
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 客体
是
那个 实体
的
patient
和
那个 货币测量
是
那个 实体
的
transaction
总额 是
那个 过程
的
patient
consequent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
AutonomousAgent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
如果
过程
是
Auctioning
的
instance
和
客体
是
客体
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后 有存在
施事体
和
货币测量
这样
那个 施事体
是
施事体
的
instance
和
那个 货币测量
是
货币测量
的
instance
和
那个 施事体
bids
那个 货币测量
對於
那个 客体
(=>
(
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 1416-1425
如果
Bidding
是
Bidding
的
instance
和
客体
是
物理
的
instance
和
货币测量
是
货币测量
的
instance
和
施事体
是
那个 施事体
的
instance
和
那个 Bidding
是个
bid
对于
那个 客体
和
那个 货币测量
是
那个 Bidding
的
bid
和
那个 施事体
是
那个 Bidding
的
agent
,
然后
那个 施事体
bids
那个 货币测量
對於
那个 客体
(=>
(
and
(
instance
?U
UnitOfCurrency
)
(
reservePrice
?AUCTION
(
MeasureFn
?AMOUNT ?U))
(
destination
?AUCTION ?BUYER))
(
exists
(?OFFER ?ITEM)
(
and
(
bidPrice
?ITEM
(
MeasureFn
?OFFER ?U) ?BUYER)
(
greaterThan
?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 415-423
如果
测量单位
是
UnitOfCurrency
的
instance
和
Auctioning
的
reserve
price
是
实数
那个 测量单位
和
那个 Auctioning
在
施事体
结束,
然后 有存在
另一个 实数
和
客体
这样
那个 施事体
bids
那个 另外 实数
那个 测量单位
對於
那个 客体
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
如果
施事体
對
WebListing
bids
和
客体
是
客体
的
instance
和
那个 客体
是
那个 WebListing
的
patient
,
然后 有存在
货币测量
这样
那个 施事体
bids
那个 货币测量
對於
那个 客体
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