Option(option)![]() ![]() ![]() | ![]() | incentive_option, incentive_stock_option, option |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2545-2546 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10182-10182 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11584-11584 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11583-11583 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11577-11577 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11578-11578 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11579-11579 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11580-11580 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11581-11581 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2544-2544 | Option is a subattribute of financial contract |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2791-2791 | American style option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2625-2625 | Call option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2563-2563 | Conventional option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2831-2831 | Equity option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2811-2811 | European style option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2998-2998 | Index option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2576-2576 | LEAPS is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2671-2671 | Put option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2715-2715 | Stock option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42331-42331 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42330-42330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42329-42329 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3036-3036 | The number 1 argument of at the money is an instance of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3003-3003 | The number 1 argument of in the money is an instance of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3052-3052 | The number 1 argument of out of the money is an instance of option |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3104-3117 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3156-3180 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2599-2601 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2612-2614 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2733-2735 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2752-2754 |
|
![]() |
![]() |