| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3079-3079 | OptionStrategy est une sous-classe de financial transaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3083-3083 | SingleOption est une sous-classe de OptionStrategy |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3092-3092 | SpreadOption est une sous-classe de OptionStrategy |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3145-3145 | Straddle est une sous-classe de OptionStrategy |
|
|