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
agreementExpirationDate
Sigma KEE - agreementExpirationDate
agreementExpirationDate
appearance as argument number 1
(
documentation
agreementExpirationDate
EnglishLanguage
"(
agreementExpirationDate
?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer
ActiveAgreement
.")
Mid-level-ontology.kif 14051-14053
(
domain
agreementExpirationDate
1
Agreement
)
Mid-level-ontology.kif 14049-14049
agreementExpirationDate
の数値 1 引数は
Agreement
の
instance
では %n
(
domain
agreementExpirationDate
2
TimePoint
)
Mid-level-ontology.kif 14050-14050
agreementExpirationDate
の数値 2 引数は
時点
の
instance
では %n
(
instance
agreementExpirationDate
BinaryPredicate
)
Mid-level-ontology.kif 14048-14048
agreementExpirationDate
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
agreementExpirationDate
"%1 有 expiration %2 ")
domainEnglishFormat.kif 2730-2730
(
format
ChineseTraditionalLanguage
agreementExpirationDate
"%1 有 expiration %2 ")
domainEnglishFormat.kif 2729-2729
(
format
EnglishLanguage
agreementExpirationDate
"%1 has expiration %2")
domainEnglishFormat.kif 2728-2728
(
subrelation
maturityDate
agreementExpirationDate
)
FinancialOntology.kif 630-630
maturityDate
は
agreementExpirationDate
の
subrelation
では %n
(
termFormat
ChineseLanguage
agreementExpirationDate
"截止日期")
domainEnglishFormat.kif 22822-22822
(
termFormat
ChineseTraditionalLanguage
agreementExpirationDate
"截止日期")
domainEnglishFormat.kif 22821-22821
(
termFormat
EnglishLanguage
agreementExpirationDate
"expiration date")
domainEnglishFormat.kif 22820-22820
antecedent
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
agreementExpirationDate
Agreement
and
時点
Agreement
には
attribute
ActiveAgreement
ない は
時点
の
after
の
during
holds %n{ない}
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
Agreement
には
attribute
AmericanStyleOption
%n{ない}
optionHolder
Agreement
and
認識エージェント
agreementExpirationDate
Agreement
and
時点
認識エージェント
は
エンティティー
エンティティー
は
ExerciseAnOption
の
instance
では %n
Agreement
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence の
end
は
時点
の
end
の
before
に happens %n{ない} を 実行する
right
を 持って %n{ない}
(=>
(
and
(
property
?Option
EuropeanStyleOption
)
(
agreementExpirationDate
?Option ?Date))
(
exists
(?Period ?Time ?Exercise)
(
and
(
instance
?Period
TimeInterval
)
(
equal
(
EndFn
?Period) ?Date)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
equal
(
WhenFn
?Exercise) ?Time))
(
temporalPart
?Time ?Period)))))
FinancialOntology.kif 2808-2820
Agreement
には
attribute
EuropeanStyleOption
%n{ない}
agreementExpirationDate
Agreement
and
時点
時間間隔
時間間隔
and
物理
時間間隔
は
時間間隔
の
instance
では %n
時間間隔
の
end
は
時点
と
equal
では %n
物理
は
ExerciseAnOption
の
instance
では %n
物理
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
の
part
では %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
consequent
(=>
(
instance
?Straddle
Straddle
)
(
exists
(?Call ?Price ?Date ?Number ?Put)
(
and
(
equal
(
CardinalityFn
(
KappaFn
?Call
(
and
(
instance
?Call
CallOption
)
(
part
?Call ?Straddle)))) ?Number)
(
equal
(
CardinalityFn
(
KappaFn
?Put
(
and
(
instance
?Put
PutOption
)
(
part
?Put ?Straddle)))) ?Number)
(
forall
(?Option)
(=>
(
and
(
instance
?Option
Option
)
(
part
?Option ?Straddle))
(
and
(
agreementExpirationDate
?Option ?Date)
(
strikePrice
?Option ?Price)))))))
FinancialOntology.kif 3149-3173
オブジェクト
は
Straddle
の
instance
では %n
記号文字列
通貨測定
,
時点
,
整数
and
記号文字列
記号文字列
で記述される
class
の
instances
の数 は
整数
と
equal
では %n
記号文字列
で記述される
class
の
instances
の数 は
整数
と
equal
では %n
Agreement
Agreement
は
Option
の
instance
では %n
Agreement
は
オブジェクト
の
part
では %n
agreementExpirationDate
Agreement
and
時点
strikePrice
Agreement
and
通貨測定
(=>
(
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