Option
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2537-2538 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10172-10172 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11568-11568 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11567-11567 | |
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 11562-11562 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11563-11563 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11564-11564 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11565-11565 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2536-2536 | 子屬性 選項 and 金融合約 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2784-2784 | 子屬性 美式風格選項 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2617-2617 | 子屬性 看漲期權 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2555-2555 | 子屬性 傳統的選擇 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2824-2824 | 子屬性 股權期權 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2804-2804 | 子屬性 歐式風格的選擇 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2991-2991 | 子屬性 索引選項 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2568-2568 | 子屬性 LEAPS and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2663-2663 | 子屬性 放選項 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2707-2707 | 子屬性 股票期權 and 選項 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42354-42354 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42353-42353 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42352-42352 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3029-3029 | 域 在錢, 1 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2996-2996 | 域 在錢, 1 and 選項 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3045-3045 | 域 沒錢了, 1 and 選項 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3097-3110 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3149-3173 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2591-2593 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2604-2606 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2725-2727 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2745-2747 |