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
underlier
Sigma KEE - underlier
underlier
appearance as argument number 1
(
documentation
underlier
EnglishLanguage
"(
underlier
?Option ?Instrument) means that ?Instrument is a security which is subject to delivery upon exercise of ?Option.")
FinancialOntology.kif 2741-2743
(
domain
underlier
1
Agreement
)
FinancialOntology.kif 2739-2739
Il numero 1 argomenti di
underlier
è un
istanza
di
Agreement
(
domain
underlier
2
FinancialInstrument
)
FinancialOntology.kif 2740-2740
Il numero 2 argomenti di
underlier
è un
istanza
di
FinancialInstrument
(
instance
underlier
BinaryPredicate
)
FinancialOntology.kif 2737-2737
underlier
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
underlier
"%2 %n 是 %1 的
underlier
")
domainEnglishFormat.kif 2563-2563
(
format
ChineseTraditionalLanguage
underlier
"%2 %n 是 %1 的
underlier
")
domainEnglishFormat.kif 2562-2562
(
format
EnglishLanguage
underlier
"%2 is %n an
underlier
of %1")
domainEnglishFormat.kif 2561-2561
(
termFormat
ChineseLanguage
underlier
"底层证券")
domainEnglishFormat.kif 59888-59888
(
termFormat
ChineseTraditionalLanguage
underlier
"底層證券")
domainEnglishFormat.kif 59887-59887
(
termFormat
EnglishLanguage
underlier
"underlier")
domainEnglishFormat.kif 59886-59886
antecedent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
outOfTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
CallOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
Option
)
(
underlier
?Option ?Stock)
(
price
?Stock ?StockPrice ?Time)
(
strikePrice
?Option ?StrikePrice)
(
equal
?StockPrice ?StrikePrice)))
(
atTheMoney
?Option ?Time))
FinancialOntology.kif 3034-3042
FinancialInstrument
FinancialInstrument
Price and
MisuraMonetaria
Agreement
è un'
istanza
di
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
MisuraMonetaria
FinancialInstrument
Price is
uguale
a
MisuraMonetaria
atTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StockPrice ?StrikePrice)))
(
inTheMoney
?Option ?Time))
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
FinancialInstrument
Price è
meno
di
NumeroReale
inTheMoney
Agreement
and
AutonomousAgent
(<=>
(
exists
(?Stock ?StockPrice ?StrikePrice)
(
and
(
instance
?Option
PutOption
)
(
underlier
?Option ?Stock)
(
price
?Stock
(
MeasureFn
?StockPrice ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
strikePrice
?Option
(
MeasureFn
?StrikePrice ?U))
(
lessThan
?StrikePrice ?StockPrice)))
(
outOfTheMoney
?Option ?Time))
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
NumeroReale
Agreement
è un'
istanza
di
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
strikePrice
Agreement
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
Processo
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Processo
Agreement
ha un
attributo
CallOption
Processo
esistes
durante
PosizioneTemporale
underlier
Agreement
and
FinancialInstrument
Processo
Processo
è un'
istanza
di
Acquistare
FinancialInstrument
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
Processo
è un'
istanza
di
ExerciseAnOption
Agreement
è un
paziente
di
Processo
Agreement
ha un
attributo
PutOption
Processo
esistes
durante
PosizioneTemporale
underlier
Agreement
and
FinancialInstrument
Processo
Processo
è un'
istanza
di
Vendere
FinancialInstrument
è un
paziente
di
Processo
Processo
esistes
durante
PosizioneTemporale
la
misura
FinancialInstrument
è 100
ShareUnit
(s
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Agreement
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Agreement
ha un
attributo
Option
optionHolder
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
ha il
diritto
di compiere la
classe
descritta da
Stringa
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Agreement
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Agreement
ha un
attributo
Option
optionSeller
Agreement
and
AgenteCognitivo
strikePrice
Agreement
and
MisuraMonetaria
agreementExpirationDate
Agreement
and
IntervalloTemporale
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
MisuraMonetaria
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
IntervalloTemporale
la
fine
di
AutonomousAgent
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
ha un
attributo
StockOption
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
ha un
attributo
CommonStock
(=>
(
underlier
?OPTION ?FI)
(
property
?OPTION
Option
))
FinancialOntology.kif 2745-2747
underlier
Agreement
and
FinancialInstrument
Agreement
ha un
attributo
Option
consequent
(=>
(
property
?Option
Option
)
(
exists
(?Type ?Date ?Stock ?Price)
(
and
(
or
(
equal
?Type
CallOption
)
(
equal
?Type
PutOption
))
(
property
?Option ?Type)
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)
(
underlier
?Option ?Stock)
(
measure
?Stock
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2540-2551
Agreement
ha un
attributo
Option
Attributo
PuntoTemporale
,
FinancialInstrument
and
MisuraMonetaria
Attributo
is
uguale
a
CallOption
Attributo
is
uguale
a
PutOption
Agreement
ha un
attributo
Attributo
agreementExpirationDate
Agreement
and
PuntoTemporale
strikePrice
Agreement
and
MisuraMonetaria
underlier
Agreement
and
FinancialInstrument
la
misura
FinancialInstrument
è 100
ShareUnit
(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