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
InvasiveVentilator
Sigma KEE - underlier
underlier
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2741-2743
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2739-2739
The number 1 argument of
underlier
is an
instance
of
agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2740-2740
The number 2 argument of
underlier
is an
instance
of
financial instrument
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2737-2737
underlier
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2563-2563
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2562-2562
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2561-2561
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59888-59888
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59887-59887
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59886-59886
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3051-3062
There exist
a financial instrument
,
the financial instrument
Price and
another real number
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price
an unit of measure
(s) for
an agent
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
the unit of measure
(s) is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other real number
if and only if
the agent
is an
out
of the money of
the agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
There exist
a financial instrument
,
the financial instrument
Price and
another real number
such that
an agreement
is an
instance
of
call option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price
an unit of measure
(s) for
an agent
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
the unit of measure
(s) is a
strike
price of
the agreement
and
the other real number
is
less
than
the financial instrument
Price if and only if
the agent
is an
in
the money of
the agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3034-3042
There exist
a financial instrument
,
the financial instrument
Price and
another currency measure
such that
an agreement
is an
instance
of
option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price for
an agent
and
the other currency measure
is a
strike
price of
the agreement
and
the financial instrument
Price is
equal
to
the other currency measure
if and only if
the agent
is an
at
the money of
the agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
There exist
a financial instrument
,
the financial instrument
Price and
another real number
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price
an unit of measure
(s) for
an agent
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
the unit of measure
(s) is a
strike
price of
the agreement
and
the financial instrument
Price is
less
than
the other real number
if and only if
the agent
is an
in
the money of
the agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
There exist
a financial instrument
,
the financial instrument
Price and
another real number
such that
an agreement
is an
instance
of
put option
and
the financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the financial instrument
Price
an unit of measure
(s) for
an agent
and
the unit of measure
is an
instance
of
unit of currency
and
the other real number
the unit of measure
(s) is a
strike
price of
the agreement
and
the other real number
is
less
than
the financial instrument
Price if and only if
the agent
is an
out
of the money of
the agreement
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2754-2766
If
a process
is an
instance
of
exercise an option
and
an agreement
is a
patient
of
the process
and
the agreement
the
attribute
call option
and
the process
exists
during
a time position
and
a financial instrument
is an
underlier
of
the agreement
,
then there exists
another process
such that
the other process
is an
instance
of
buying
and
the financial instrument
is a
patient
of
the other process
and
the other process
exists
during
the time position
and the
measure
of
the financial instrument
is 100
share unit
(s)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2768-2780
If
a process
is an
instance
of
exercise an option
and
an agreement
is a
patient
of
the process
and
the agreement
the
attribute
put option
and
the process
exists
during
a time position
and
a financial instrument
is an
underlier
of
the agreement
,
then there exists
another process
such that
the other process
is an
instance
of
selling
and
the financial instrument
is a
patient
of
the other process
and
the other process
exists
during
the time position
and the
measure
of
the financial instrument
is 100
share unit
(s)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2669-2685
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
and
the financial instrument
is an
underlier
of
the agreement
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2623-2639
If
an agreement
the
attribute
option
and
a cognitive agent
holds
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
,
then
the cognitive agent
has the
right
to perform the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2687-2703
If
an agreement
the
attribute
option
and
a cognitive agent
sells
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
and
the financial instrument
is an
underlier
of
the agreement
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2641-2659
If
an agreement
the
attribute
option
and
a cognitive agent
sells
the agreement
and
a currency measure
is a
strike
price of
the agreement
and
the agreement
has
expiration
a time interval
and
a financial instrument
is an
underlier
of
the agreement
and
the financial instrument
is
price
the currency measure
for
an agent
and
the agent
is an
instance
of
time interval
and the
end
of
the agent
happens
before
the
beginning
of
the time interval
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2712-2716
If
an agreement
the
attribute
stock option
and
a financial instrument
is an
underlier
of
the agreement
,
then
the financial instrument
the
attribute
common stock
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2745-2747
If
a financial instrument
is an
underlier
of
an agreement
,
then
the agreement
the
attribute
option
consequent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2540-2551
If
an agreement
the
attribute
option
,
then there exist
an attribute
,
a time point
,, ,
a financial instrument
and
a currency measure
such that
the attribute
is
equal
to
call option
or
the attribute
is
equal
to
put option
and
the agreement
the
attribute
the attribute
and
the agreement
has
expiration
the time point
and
the currency measure
is a
strike
price of
the agreement
and
the financial instrument
is an
underlier
of
the agreement
and the
measure
of
the financial instrument
is 100
share unit
(s)
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