Option - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Option

Option(選項)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2551-2552
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10170-10170
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11561-11561
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11560-11560
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11554-11554
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11555-11555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11556-11556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11557-11557
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11558-11558
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2550-2550	子屬性選項 and 金融合約

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2798-2798	子屬性美式風格選項 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2631-2631	子屬性看漲期權 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2569-2569	子屬性傳統的選擇 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2838-2838	子屬性股權期權 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2818-2818	子屬性歐式風格的選擇 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3005-3005	子屬性索引選項 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2582-2582	子屬性 LEAPS and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2677-2677	子屬性放選項 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2721-2721	子屬性股票期權 and 選項
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42385-42385	子屬性股票期權 and 選項
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42384-42384	子屬性股票期權 and 選項
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42383-42383	子屬性股票期權 and 選項

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3043-3043	域在錢, 1 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3010-3010	域在錢, 1 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3059-3059	域沒錢了, 1 and 選項

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3048-3056	金融工具金融工具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 2683-2699	屬性協議 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 2637-2653	屬性協議 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 2701-2717	屬性協議 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 2655-2673	屬性協議 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 2554-2565	屬性協議 and 選項 Attribute TimePoint, 金融工具 and CurrencyMeasure 等於 Attribute and 看漲期權等於 Attribute and 放選項屬性協議 and Attribute 協議有 expiration TimePoint CurrencyMeasure 是協議的 strike 價錢金融工具是協議的 underlier 測量金融工具 and 測量 100 and ShareUnit

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3111-3124	例 Process and 傳播選擇 Entity Entity, Process, Process and TimePosition 例 Entity and 選項例 Entity and 選項例 Process and Buying 例 Process and Selling 子過程 Process and Process 子過程 Process and Process 患者 Process and Entity 患者 Process and Entity 時間 Process and TimePosition 時間 Process and TimePosition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3163-3187	例 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 2605-2607	CognitiveAgent holds 協議屬性協議 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2618-2620	CognitiveAgent sells 協議屬性協議 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2739-2741	CurrencyMeasure 是協議的 premium 屬性協議 and 選項
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2759-2761	金融工具是協議的 underlier 屬性協議 and 選項

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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