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
Le nombre 1 argument de
bidPrice
est une
instance
de
objet
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
Le nombre 2 argument de
bidPrice
est une
instance
de
mesure de devise
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
Le nombre 3 argument de
bidPrice
est une
instance
de
AutonomousAgent
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
bidPrice
est une
instance
de
pr�dicat ternaire
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
bidPrice
est une
sous
-relation de
price
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
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
vendre
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
bidPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
Processus
est une
instance
de
Auctioning
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
objet
est une
instance
de
objet
unit� de mesure
est une
instance
de
UnitOfCurrency
objet
est un
patient
de
processus
bidPrice
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
bidPrice
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
processus
aboutit
�
AutonomousAgent
(=>
(
bidPrice
?OBJECT ?AMOUNT ?AGENT)
(
exists
(?BIDDING)
(
and
(
instance
?BIDDING
Bidding
)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1407-1414
bidPrice
objet
,
mesure de devise
and
AutonomousAgent
Bidding
Bidding
est une
instance
de
Bidding
objectOfBid
Bidding
and
objet
amountOfBid
Bidding
and
mesure de devise
Bidding
est un
agent
de
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
bidPrice
objet
,
mesure de devise
and
AutonomousAgent
processus
processus
est une
instance
de
Offering
entit�
entit�
est une
instance
de
acheter
entit�
est un
agent
de
AutonomousAgent
objet
est un
patient
de
entit�
transactionAmount
entit�
and
mesure de devise
est un
patient
de
processus
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
Processus
est une
instance
de
Auctioning
objet
est une
instance
de
objet
objet
est un
patient
de
processus
AutonomousAgent
mesure de devise
AutonomousAgent
est une
instance
de
AutonomousAgent
mesure de devise
est une
instance
de
mesure de devise
bidPrice
objet
,
mesure de devise
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
est une
instance
de
Bidding
objet
est une
instance
de
physique
mesure de devise
est une
instance
de
mesure de devise
AutonomousAgent
est une
instance
de
AutonomousAgent
objectOfBid
Bidding
and
objet
amountOfBid
Bidding
and
mesure de devise
Bidding
est un
agent
de
AutonomousAgent
bidPrice
objet
,
mesure de devise
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
Unit� de mesure
est une
instance
de
UnitOfCurrency
reservePrice
Auctioning
and
nombre r�el
unit� de mesure
(s)
Auctioning
aboutit
�
AutonomousAgent
nombre r�el
objet
bidPrice
objet
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
listingBidder
WebListing
and
AutonomousAgent
objet
est une
instance
de
objet
objet
est un
patient
de
WebListing
mesure de devise
bidPrice
objet
,
mesure de devise
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