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 2554-2555 | |
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 2553-2553 | 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 2801-2801 | American style option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2634-2634 | Call option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2572-2572 | Conventional option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2841-2841 | Equity option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2821-2821 | European style option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3008-3008 | Index option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2585-2585 | LEAPS is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2680-2680 | Put option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2724-2724 | Stock option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42362-42362 | Stock option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42361-42361 | Stock option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42360-42360 | Stock option is a subattribute of option |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3046-3046 | 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 3013-3013 | 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 3062-3062 | 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 3114-3127 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3166-3190 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2608-2610 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2621-2623 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2742-2744 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2762-2764 |
|
![]() |
![]() |