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
AAV
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
underlier
の数値 1 引数は
Agreement
の
instance
では %n
(
domain
underlier
2
FinancialInstrument
)
FinancialOntology.kif 2740-2740
underlier
の数値 2 引数は
FinancialInstrument
の
instance
では %n
(
instance
underlier
BinaryPredicate
)
FinancialOntology.kif 2737-2737
underlier
は
2進述語
の
instance
では %n
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 59890-59890
(
termFormat
ChineseTraditionalLanguage
underlier
"底層證券")
domainEnglishFormat.kif 59889-59889
(
termFormat
EnglishLanguage
underlier
"underlier")
domainEnglishFormat.kif 59888-59888
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
実数
Agreement
は
CallOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
FinancialInstrument
Price は
実数
より
less
では %n
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
実数
Agreement
は
CallOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
実数
は
FinancialInstrument
Price より
less
では %n
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
通貨測定
Agreement
は
Option
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
通貨測定
FinancialInstrument
Price は
通貨測定
と
equal
では %n
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
実数
Agreement
は
PutOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
FinancialInstrument
Price は
実数
より
less
では %n
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
実数
Agreement
は
PutOption
の
instance
では %n
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
strikePrice
Agreement
and
実数
の
測定単位
(s)
実数
は
FinancialInstrument
Price より
less
では %n
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
工程
は
ExerciseAnOption
の
instance
では %n
Agreement
は
工程
の
patient
では %n
Agreement
には
attribute
CallOption
%n{ない}
工程
は
時間位置
の
during
exists %n{ない}
underlier
Agreement
and
FinancialInstrument
工程
工程
は
購買
の
instance
では %n
FinancialInstrument
は
工程
の
patient
では %n
工程
は
時間位置
の
during
exists %n{ない}
FinancialInstrument
の
measure
は 100 の
ShareUnit
(s) では %n
(=>
(
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
工程
は
ExerciseAnOption
の
instance
では %n
Agreement
は
工程
の
patient
では %n
Agreement
には
attribute
PutOption
%n{ない}
工程
は
時間位置
の
during
exists %n{ない}
underlier
Agreement
and
FinancialInstrument
工程
工程
は
販売
の
instance
では %n
FinancialInstrument
は
工程
の
patient
では %n
工程
は
時間位置
の
during
exists %n{ない}
FinancialInstrument
の
measure
は 100 の
ShareUnit
(s) では %n
(=>
(
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
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
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
には
attribute
Option
%n{ない}
optionHolder
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
は
エンティティー
class
を 実行する
right
を 持って %n{ない}
(=>
(
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
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
underlier
Agreement
and
FinancialInstrument
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
には
attribute
Option
%n{ない}
optionSeller
Agreement
and
認識エージェント
strikePrice
Agreement
and
通貨測定
agreementExpirationDate
Agreement
and
時間間隔
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
通貨測定
and
AutonomousAgent
AutonomousAgent
は
時間間隔
の
instance
では %n
AutonomousAgent
の
end
は
時間間隔
の
beginning
の
before
に happens %n{ない}
認識エージェント
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
property
?Option
StockOption
)
(
underlier
?Option ?Stock))
(
property
?Stock
CommonStock
))
FinancialOntology.kif 2712-2716
Agreement
には
attribute
StockOption
%n{ない}
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
には
attribute
CommonStock
%n{ない}
(=>
(
underlier
?OPTION ?FI)
(
property
?OPTION
Option
))
FinancialOntology.kif 2745-2747
underlier
Agreement
and
FinancialInstrument
Agreement
には
attribute
Option
%n{ない}
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
には
attribute
Option
%n{ない}
属性
時点
,
FinancialInstrument
and
通貨測定
属性
は
CallOption
と
equal
では %n
属性
は
PutOption
と
equal
では %n
Agreement
には
attribute
属性
%n{ない}
agreementExpirationDate
Agreement
and
時点
strikePrice
Agreement
and
通貨測定
underlier
Agreement
and
FinancialInstrument
FinancialInstrument
の
measure
は 100 の
ShareUnit
(s) では %n
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