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
bidPrice
の数値 1 引数は
オブジェクト
の
instance
では %n
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
bidPrice
の数値 2 引数は
通貨測定
の
instance
では %n
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
bidPrice
の数値 3 引数は
AutonomousAgent
の
instance
では %n
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
bidPrice
は
3進述語
の
instance
では %n
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
bidPrice
は
price
の
subrelation
では %n
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
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
販売
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
bidPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は
実数
greater
では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
bidPrice
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
bidPrice
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
bidPrice
?OBJECT ?AMOUNT ?AGENT)
(
exists
(?BIDDING)
(
and
(
instance
?BIDDING
Bidding
)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1407-1414
bidPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
Bidding
Bidding
は
Bidding
の
instance
では %n
objectOfBid
Bidding
and
オブジェクト
amountOfBid
Bidding
and
通貨測定
AutonomousAgent
は
Bidding
の
agent
では %n
(=>
(
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
bidPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
工程
工程
は
Offering
の
instance
では %n
エンティティー
エンティティー
は
購買
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
は
工程
の
patient
では %n
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
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
通貨測定
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
通貨測定
は
通貨測定
の
instance
では %n
bidPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
(=>
(
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
では %n
オブジェクト
は
物理
の
instance
では %n
通貨測定
は
通貨測定
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
objectOfBid
Bidding
and
オブジェクト
amountOfBid
Bidding
and
通貨測定
AutonomousAgent
は
Bidding
の
agent
では %n
bidPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
(=>
(
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
では %n
reservePrice
Auctioning
and
実数
の
測定単位
(s)
Auctioning
は
AutonomousAgent
に
end
s %n{ない}
実数
オブジェクト
bidPrice
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
listingBidder
WebListing
and
AutonomousAgent
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
WebListing
の
patient
では %n
通貨測定
bidPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
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