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 and
協議
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2740-2740
域
底層證券
, 2 and
金融工具
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2737-2737
例
底層證券
and
BinaryPredicate
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
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
out
資兂短缺
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
金融工具
金融工具
Price and
RealNumber
例
協議
and
看漲期權
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
in
金錢
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3034-3042
金融工具
金融工具
Price and
CurrencyMeasure
例
協議
and
選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
金融工具
Price
CurrencyMeasure
是
協議
的
strike
價錢
等於
金融工具
Price and
CurrencyMeasure
AutonomousAgent
是
協議
at
的錢
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
金融工具
Price and
RealNumber
AutonomousAgent
是
協議
的
in
金錢
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
金融工具
金融工具
Price and
RealNumber
例
協議
and
放選項
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
測量
金融工具
Price and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
測量
RealNumber
and
UnitOfMeasure
是
協議
的
strike
價錢
少於
RealNumber
and
金融工具
Price
AutonomousAgent
是
協議
的
out
資兂短缺
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2754-2766
例
Process
and
執行一個選項
患者
Process
and
協議
屬性
協議
and
看漲期權
時間
Process
and
TimePosition
金融工具
是
協議
的
underlier
Process
例
Process
and
Buying
患者
Process
and
金融工具
時間
Process
and
TimePosition
測量
金融工具
and
測量
100 and
ShareUnit
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2768-2780
例
Process
and
執行一個選項
患者
Process
and
協議
屬性
協議
and
放選項
時間
Process
and
TimePosition
金融工具
是
協議
的
underlier
Process
例
Process
and
Selling
患者
Process
and
金融工具
時間
Process
and
TimePosition
測量
金融工具
and
測量
100 and
ShareUnit
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2669-2685
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2623-2639
屬性
協議
and
選項
CognitiveAgent
holds
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
堅持正確
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2687-2703
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
金融工具
是
協議
的
underlier
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
CognitiveAgent
and
CognitiveAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2641-2659
屬性
協議
and
選項
CognitiveAgent
sells
協議
CurrencyMeasure
是
協議
的
strike
價錢
協議
有
expiration
TimeInterval
金融工具
是
協議
的
underlier
金融工具
是 對於
AutonomousAgent
的
price
CurrencyMeasure
例
AutonomousAgent
and
TimeInterval
之前
結束
AutonomousAgent
and
開始
TimeInterval
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
金融工具
時間
SymbolicString
and
AutonomousAgent
測量
金融工具
and
測量
100 and
ShareUnit
agent
SymbolicString
and
entity
and
CognitiveAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2712-2716
屬性
協議
and
股票期權
金融工具
是
協議
的
underlier
屬性
金融工具
and
普通股
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2745-2747
金融工具
是
協議
的
underlier
屬性
協議
and
選項
consequent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2540-2551
屬性
協議
and
選項
Attribute
TimePoint
,
金融工具
and
CurrencyMeasure
等於
Attribute
and
看漲期權
等於
Attribute
and
放選項
屬性
協議
and
Attribute
協議
有
expiration
TimePoint
CurrencyMeasure
是
協議
的
strike
價錢
金融工具
是
協議
的
underlier
測量
金融工具
and
測量
100 and
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