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
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2741-2743
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2739-2739
底层证券
的 1 数量 是
协议
的
instance
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2740-2740
底层证券
的 2 数量 是
金融工具
的
instance
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2737-2737
底层证券
是
二元谓语
的
instance
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2563-2563
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2562-2562
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2561-2561
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59888-59888
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59887-59887
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 59886-59886
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 2754-2766
如果
过程
是
执行一个选项
的
instance
和
协议
是
那个 过程
的
patient
和
那个 协议
有
看涨期权
的
attribute
和
那个 过程
在
时间位置
是 存在 和
金融工具
是
那个 协议
的
underlier
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
购买
的
instance
和
那个 金融工具
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 金融工具
的
measure
是 100
ShareUnit
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2768-2780
如果
过程
是
执行一个选项
的
instance
和
协议
是
那个 过程
的
patient
和
那个 协议
有
放选项
的
attribute
和
那个 过程
在
时间位置
是 存在 和
金融工具
是
那个 协议
的
underlier
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
出售
的
instance
和
那个 金融工具
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 时间位置
是 存在 和
那个 金融工具
的
measure
是 100
ShareUnit
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
发生,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2712-2716
如果
协议
有
股票期权
的
attribute
和
金融工具
是
那个 协议
的
underlier
,
然后
那个 金融工具
有
普通股
的
attribute
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2745-2747
如果
金融工具
是
协议
的
underlier
,
然后
那个 协议
有
选项
的
attribute
consequent
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