TreeView Knowledge Base Browser - underlier

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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