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
Il numero 1 argomenti di
bidPrice
è un
istanza
di
Oggetto
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
Il numero 2 argomenti di
bidPrice
è un
istanza
di
MisuraMonetaria
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
Il numero 3 argomenti di
bidPrice
è un
istanza
di
AutonomousAgent
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
bidPrice
è un'
istanza
di
PredicatoTernario
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
bidPrice
è una
sottorelazione
di
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
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
è un'
istanza
di
Auctioning
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Oggetto
è un
paziente
di
Processo
bidPrice
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
bidPrice
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
Processo
fine
s in
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
Oggetto
,
MisuraMonetaria
and
AutonomousAgent
Bidding
Bidding
è un'
istanza
di
Bidding
objectOfBid
Bidding
and
Oggetto
amountOfBid
Bidding
and
MisuraMonetaria
Bidding
è un
agente
di
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
Oggetto
,
MisuraMonetaria
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Offering
Entit�
Entit�
è un'
istanza
di
Acquistare
Entit�
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
è un
paziente
di
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
è un'
istanza
di
Auctioning
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
Processo
AutonomousAgent
MisuraMonetaria
AutonomousAgent
è un'
istanza
di
AutonomousAgent
MisuraMonetaria
è un'
istanza
di
MisuraMonetaria
bidPrice
Oggetto
,
MisuraMonetaria
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
è un'
istanza
di
Bidding
Oggetto
è un'
istanza
di
Entit�Concreta
MisuraMonetaria
è un'
istanza
di
MisuraMonetaria
AutonomousAgent
è un'
istanza
di
AutonomousAgent
objectOfBid
Bidding
and
Oggetto
amountOfBid
Bidding
and
MisuraMonetaria
Bidding
è un
agente
di
AutonomousAgent
bidPrice
Oggetto
,
MisuraMonetaria
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�DiMisura
è un'
istanza
di
UnitOfCurrency
reservePrice
Auctioning
and
NumeroReale
Unit�DiMisura
(s
Auctioning
fine
s in
AutonomousAgent
NumeroReale
Oggetto
bidPrice
Oggetto
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
listingBidder
WebListing
and
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è un
paziente
di
WebListing
MisuraMonetaria
bidPrice
Oggetto
,
MisuraMonetaria
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