Option more pictures... |
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 | Option est un sous-attribut de FinancialContract |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2784-2784 | AmericanStyleOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2617-2617 | CallOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2555-2555 | ConventionalOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2824-2824 | EquityOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2804-2804 | EuropeanStyleOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2991-2991 | IndexOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2568-2568 | LEAPS est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2663-2663 | PutOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2707-2707 | StockOption est un sous-attribut de Option |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42356-42356 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42355-42355 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42354-42354 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3029-3029 | Le nombre 1 argument de atTheMoney est une instance de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2996-2996 | Le nombre 1 argument de inTheMoney est une instance de Option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3045-3045 | Le nombre 1 argument de outOfTheMoney est une instance de Option |
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 |