TreeView Knowledge Base Browser - strikePrice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 and 金融工具
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2610	域執行價格, 2 and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2608-2608	例執行價格 and BinaryPredicate

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 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 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

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3119-3143	例 Process and 蝴蝶傳播金融工具金融工具, 金融工具, 金融工具, RealNumber, RealNumber, RealNumber, RealNumber and UnitOfMeasure 例金融工具 and 看漲期權例金融工具 and 看漲期權例金融工具 and 看漲期權例金融工具 and 看漲期權子過程金融工具 and Process 子過程金融工具 and Process 子過程金融工具 and Process 子過程金融工具 and Process 例 UnitOfMeasure and UnitOfCurrency 測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢測量 RealNumber and UnitOfMeasure 是金融工具的 strike 價錢少於 RealNumber and RealNumber 少於 RealNumber and RealNumber 比較多 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3149-3173	例 Object and 跨 SymbolicString CurrencyMeasure, TimePoint, Integer and SymbolicString 等於基數卡帕 SymbolicString and 例 SymbolicString and 看漲期權部分 SymbolicString and Object and Integer 等於基數卡帕 SymbolicString and 例 SymbolicString and 放選項部分 SymbolicString and Object and Integer 協議例協議 and 選項部分協議 and Object 協議有 expiration TimePoint CurrencyMeasure 是協議的 strike 價錢
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