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
O argumento numero 1 de
bidPrice
e' uma
instancia
de
Objeto
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
O argumento numero 2 de
bidPrice
e' uma
instancia
de
Medida de Divisa
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
O argumento numero 3 de
bidPrice
e' uma
instancia
de
AutonomousAgent
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
bidPrice
e' uma
instancia
de
Predicado Ternario
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
bidPrice
e' uma
sub
-relacao 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
e' um
atributo
de
Transacao Financeira
partyToAgreement
Transacao Financeira
and
Agreement
Broker
e' um
atributo
de
Agreement
orderFor
Transacao Financeira
,
Vender
and
Security
a
medida
de
Security
e'
Quantidade Fisica
limitPrice
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
bidPrice
Security
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
ou igual a
Numero Real
Agreement
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
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
Processo
e' uma
instancia
de
Auctioning
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Objeto
e' um
patient
de
Processo
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
Processo
termina
em
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
Objeto
,
Medida de Divisa
and
AutonomousAgent
Bidding
Bidding
e' uma
instancia
de
Bidding
objectOfBid
Bidding
and
Objeto
amountOfBid
Bidding
and
Medida de Divisa
Bidding
e' um
agente
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
Objeto
,
Medida de Divisa
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Offering
Entidade
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
e' um
patient
de
Processo
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
Processo
e' uma
instancia
de
Auctioning
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
Processo
AutonomousAgent
Medida de Divisa
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Medida de Divisa
e' uma
instancia
de
Medida de Divisa
bidPrice
Objeto
,
Medida de Divisa
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
e' uma
instancia
de
Bidding
Objeto
e' uma
instancia
de
Fisico
Medida de Divisa
e' uma
instancia
de
Medida de Divisa
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
objectOfBid
Bidding
and
Objeto
amountOfBid
Bidding
and
Medida de Divisa
Bidding
e' um
agente
de
AutonomousAgent
bidPrice
Objeto
,
Medida de Divisa
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
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
reservePrice
Auctioning
and
Numero Real
Unidade de Medida
(s)
Auctioning
termina
em
AutonomousAgent
Numero Real
Objeto
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
listingBidder
WebListing
and
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Objeto
e' um
patient
de
WebListing
Medida de Divisa
bidPrice
Objeto
,
Medida de Divisa
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