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
strikePrice
Sigma KEE - strikePrice
strikePrice
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2611-2613
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2609-2609
执行价格
的 1 数量 是
金融工具
的
instance
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2610-2610
执行价格
的 2 数量 是
货币测量
的
instance
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2608-2608
执行价格
是
二元谓语
的
instance
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2383-2383
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2382-2382
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2381-2381
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55638-55638
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55637-55637
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 55636-55636
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3051-3062
有存在
金融工具
,
那个 金融工具
Price, and 和
另一个 实数
这样
协议
是
看涨期权
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price 是
lessThan
那个 另外 实数
若且唯若
那个 施事体
是
那个 协议
的
out
资兂短缺
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
有存在
金融工具
,
那个 金融工具
Price, and 和
另一个 实数
这样
协议
是
看涨期权
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 另外 实数
是
lessThan
那个 金融工具
Price 若且唯若
那个 施事体
是
那个 协议
的
in
金钱
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3034-3042
有存在
金融工具
,
那个 金融工具
Price, and 和
另一个 货币测量
这样
协议
是
选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price 和
那个 另外 货币测量
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price
equal
那个 另外 货币测量
若且唯若
那个 施事体
是
那个 协议
at
的钱
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
有存在
金融工具
,
那个 金融工具
Price, and 和
另一个 实数
这样
协议
是
放选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 金融工具
Price 是
lessThan
那个 另外 实数
若且唯若
那个 施事体
是
那个 协议
的
in
金钱
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
有存在
金融工具
,
那个 金融工具
Price, and 和
另一个 实数
这样
协议
是
放选项
的
instance
和
那个 金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 金融工具
Price
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 另外 实数
那个 测量单位
是
那个 协议
的
strike
价钱 和
那个 另外 实数
是
lessThan
那个 金融工具
Price 若且唯若
那个 施事体
是
那个 协议
的
out
资兂短缺
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2669-2685
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2623-2639
如果
协议
有
选项
的
attribute
和
有认知的主事
holds
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有权利去做
符号串
所描述的类别
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2687-2703
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生 和
那个 金融工具
是
那个 协议
的
underlier
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2641-2659
如果
协议
有
选项
的
attribute
和
有认知的主事
sells
那个 协议
和
货币测量
是
那个 协议
的
strike
价钱 和
那个 协议
有
expiration
时距
和
金融工具
是
那个 协议
的
underlier
和
那个 金融工具
是 对于
施事体
的
price
那个 货币测量
和
那个 施事体
是
时距
的
instance
和
那个 施事体
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
consequent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3119-3143
如果
过程
是
蝴蝶传播
的
instance
,
然后 有存在
金融工具
,
另一个 金融工具
,, ,
第三 金融工具
,, ,
第四 金融工具
,, ,
实数
,, ,
另一个 实数
,, ,
第三 实数
,, ,
第四 实数
, and 和
测量单位
这样
那个 金融工具
是
看涨期权
的
instance
和
那个 另外 金融工具
是
看涨期权
的
instance
和
那个 第三 金融工具
是
看涨期权
的
instance
和
那个 第四 金融工具
是
看涨期权
的
instance
和
那个 金融工具
%n是
那个 过程
的
subProcess
和
那个 另外 金融工具
%n是
那个 过程
的
subProcess
和
那个 第三 金融工具
%n是
那个 过程
的
subProcess
和
那个 第四 金融工具
%n是
那个 过程
的
subProcess
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
那个 测量单位
是
那个 金融工具
的
strike
价钱 和
那个 另外 实数
那个 测量单位
是
那个 另外 金融工具
的
strike
价钱 和
那个 第三 实数
那个 测量单位
是
那个 第三 金融工具
的
strike
价钱 和
那个 第四 实数
那个 测量单位
是
那个 第四 金融工具
的
strike
价钱 和
那个 实数
是
lessThan
那个 另外 实数
和
那个 实数
是
lessThan
那个 第三 实数
和
那个 第四 实数
是
greaterThan
那个 另外 实数
和
那个 第四 实数
是
greaterThan
那个 另外 实数
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3149-3173
如果
客体
是
跨
的
instance
,
然后 有存在
符号串
,
货币测量
,, ,
时点
,, ,
整数
, and 和
另一个 符号串
这样
那个 符号串
所描述的类别
instance
的数量
equal
那个 整数
和
那个 另外 符号串
所描述的类别
instance
的数量
equal
那个 整数
和 对所有
协议
如果
那个 协议
是
选项
的
instance
和
那个 协议
是
那个 客体
的
part
,
然后
那个 协议
有
expiration
那个 时点
和
那个 货币测量
是
那个 协议
的
strike
价钱
No TPTP formula. May not be expressible in strict first order.
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