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 and
Object
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
域
競標價格
, 2 and
CurrencyMeasure
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
域
競標價格
, 3 and
AutonomousAgent
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
例
競標價格
and
TernaryPredicate
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
子關係
競標價格
and
價錢
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
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Selling
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
安全
例
UnitOfMeasure
and
UnitOfCurrency
大於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
SymbolicString
ingTime and
AutonomousAgent
and
協議
(=>
(
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
例
Process
and
Auctioning
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
Object
and
Object
例
UnitOfMeasure
and
UnitOfCurrency
患者
Process
and
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
比較多
RealNumber
and
RealNumber
目的地
Process
and
AutonomousAgent
(=>
(
bidPrice
?OBJECT ?AMOUNT ?AGENT)
(
exists
(?BIDDING)
(
and
(
instance
?BIDDING
Bidding
)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1407-1414
AutonomousAgent
bids
CurrencyMeasure
對於
Object
Bidding
例
Bidding
and
Bidding
Bidding
是個
bid
對於
Object
CurrencyMeasure
是
Bidding
的
bid
agent
Bidding
and
AutonomousAgent
(=>
(
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
AutonomousAgent
bids
CurrencyMeasure
對於
Object
Process
例
Process
and
提供
患者
Process
and
entity
例
entity
and
Buying
agent
entity
and
AutonomousAgent
患者
entity
and
Object
CurrencyMeasure
是
entity
的
transaction
總額
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
例
Process
and
Auctioning
例
Object
and
Object
患者
Process
and
Object
AutonomousAgent
CurrencyMeasure
例
AutonomousAgent
and
AutonomousAgent
例
CurrencyMeasure
and
CurrencyMeasure
AutonomousAgent
bids
CurrencyMeasure
對於
Object
(=>
(
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
and
Bidding
例
Object
and
Physical
例
CurrencyMeasure
and
CurrencyMeasure
例
AutonomousAgent
and
AutonomousAgent
Bidding
是個
bid
對於
Object
CurrencyMeasure
是
Bidding
的
bid
agent
Bidding
and
AutonomousAgent
AutonomousAgent
bids
CurrencyMeasure
對於
Object
(=>
(
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
例
UnitOfMeasure
and
UnitOfCurrency
Auctioning
的
reserve
price
是
測量
RealNumber
and
UnitOfMeasure
目的地
Auctioning
and
AutonomousAgent
RealNumber
Object
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
Object
比較多
RealNumber
and
RealNumber
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
AutonomousAgent
對
WebListing
bids
例
Object
and
Object
患者
WebListing
and
Object
CurrencyMeasure
AutonomousAgent
bids
CurrencyMeasure
對於
Object
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