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
MaAlehMichmashWestBank
Sigma KEE - askPrice
askPrice
appearance as argument number 1
(
documentation
askPrice
EnglishLanguage
"(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.")
FinancialOntology.kif 1930-1931
(
domain
askPrice
1
Object
)
FinancialOntology.kif 1926-1926
Il numero 1 argomenti di
askPrice
è un
istanza
di
Oggetto
(
domain
askPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1927-1927
Il numero 2 argomenti di
askPrice
è un
istanza
di
MisuraMonetaria
(
domain
askPrice
3
AutonomousAgent
)
FinancialOntology.kif 1928-1928
Il numero 3 argomenti di
askPrice
è un
istanza
di
AutonomousAgent
(
instance
askPrice
TernaryRelation
)
FinancialOntology.kif 1925-1925
askPrice
è un'
istanza
di
RelazioneTernaria
(
subrelation
askPrice
price
)
FinancialOntology.kif 1924-1924
askPrice
è una
sottorelazione
di
price
appearance as argument number 2
(
format
ChineseLanguage
askPrice
"%3 为了 %1 asks %2 ")
domainEnglishFormat.kif 2822-2822
(
format
ChineseTraditionalLanguage
askPrice
"%3 為了 %1 asks %2 ")
domainEnglishFormat.kif 2821-2821
(
format
EnglishLanguage
askPrice
"%3 asks for %2 for %1")
domainEnglishFormat.kif 2820-2820
(
termFormat
ChineseLanguage
askPrice
"问价格")
domainEnglishFormat.kif 8688-8688
(
termFormat
ChineseTraditionalLanguage
askPrice
"問價格")
domainEnglishFormat.kif 8687-8687
(
termFormat
EnglishLanguage
askPrice
"ask price")
domainEnglishFormat.kif 8686-8686
antecedent
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
Oggetto
è un'
istanza
di
PennyStock
askPrice
Oggetto
,
NumeroReale
UnitedStatesDollar
(s and
AutonomousAgent
NumeroReale
è
meno
di5
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1933-1943
askPrice
Oggetto
,
MisuraMonetaria
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Offering
Entit�
Entit�
è un'
istanza
di
Vendere
Entit�
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Entit�
transactionAmount
Entit�
and
MisuraMonetaria
è un
paziente
di
Processo
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