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 14078-14080
(
domain
agreementExpirationDate
1
Agreement
)
Mid-level-ontology.kif 14076-14076
截止日期
的 1 数量 是
协议
的
instance
(
domain
agreementExpirationDate
2
TimePoint
)
Mid-level-ontology.kif 14077-14077
截止日期
的 2 数量 是
时点
的
instance
(
instance
agreementExpirationDate
BinaryPredicate
)
Mid-level-ontology.kif 14075-14075
截止日期
是
二元谓语
的
instance
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
成人礼
是
截止日期
的
subrelation
(
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 14082-14085
如果
协议
有
expiration
时点
,
然后
那个 协议
不 有
ActiveAgreement
的
attribute
在
那个 时点
之后
holdsDuring
(=>
(
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
如果
协议
有
美式风格选项
的
attribute
和
有认知的主事
holds
那个 协议
和
那个 协议
有
expiration
时点
,
然后
那个 有认知的主事
有权利去做 有存在
实体
这样
那个 实体
是
执行一个选项
的
instance
和
那个 协议
是
那个 实体
的
patient
和
那个 实体
出现 的
time
的结束%n在
那个 时点
的结束
before
发生
(=>
(
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
如果
协议
有
欧式风格的选择
的
attribute
和
那个 协议
有
expiration
时点
,
然后 有存在
时距
,
另一个 时距
, and 和
物理
这样
那个 时距
是
时距
的
instance
和
那个 时距
的结束
equal
那个 时点
和
如果
那个 物理
是
执行一个选项
的
instance
和
那个 物理
出现 的
time
equal
那个 另外 时距
,
然后
那个 另外 时距
时段 是
那个 时距
时段 的一
part
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
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
如果
客体
是
跨
的
instance
,
然后 有存在
符号串
,
货币测量
,, ,
时点
,, ,
整数
, and 和
另一个 符号串
这样
那个 符号串
所描述的类别
instance
的数量
equal
那个 整数
和
那个 另外 符号串
所描述的类别
instance
的数量
equal
那个 整数
和 对所有
协议
如果
那个 协议
是
选项
的
instance
和
那个 协议
是
那个 客体
的
part
,
然后
那个 协议
有
expiration
那个 时点
和
那个 货币测量
是
那个 协议
的
strike
价钱
(=>
(
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
如果
协议
有
选项
的
attribute
,
然后 有存在
属性
,
时点
,, ,
金融工具
, and 和
货币测量
这样
那个 属性
equal
看涨期权
或
那个 属性
equal
放选项
和
那个 协议
有
那个 属性
的
attribute
和
那个 协议
有
expiration
那个 时点
和
那个 货币测量
是
那个 协议
的
strike
价钱 和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
的
measure
是 100
ShareUnit
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