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
Sigma KEE - Uptick
Uptick
(uptick)
uptick
appearance as argument number 1
(
documentation
Uptick
EnglishLanguage
"A stock market transaction (or sometimes, a quote) at a price higher than the preceding one for the same security.")
FinancialOntology.kif 3209-3210
(
subclass
Uptick
StockMarketTransaction
)
FinancialOntology.kif 3208-3208
Uptick
is a
subclass
of
stock market transaction
appearance as argument number 2
(
termFormat
ChineseLanguage
Uptick
"上扬")
domainEnglishFormat.kif 60693-60693
(
termFormat
ChineseTraditionalLanguage
Uptick
"上揚")
domainEnglishFormat.kif 60692-60692
(
termFormat
EnglishLanguage
Uptick
"uptick")
domainEnglishFormat.kif 60691-60691
antecedent
(=>
(
and
(
instance
?Uptick
Uptick
)
(
patient
?Uptick ?Stock)
(
equal
(
WhenFn
?Uptick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
lessThan
?Price2 ?Price1))))
FinancialOntology.kif 3212-3228
If
a process
is an
instance
of
uptick
and
a physical
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
an agent
and
an unit of measure
is an
instance
of
unit of currency
and
the physical
is
price
a real number
the unit of measure
(s) for
the agent
,
then there exist
another process
,
another agent
and
another real number
such that
the other process
is an
instance
of
stock market transaction
and
the physical
is a
patient
of
the other process
and the
time
of existence of
the other process
is
equal
to
the other agent
and
the other agent
meet
s
the agent
and
the physical
is
price
the other real number
the unit of measure
(s) for
the other agent
and
the other real number
is
less
than
the real number
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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