EuropeanStyleOption(european style option)![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2822-2823 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10968-10968 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10967-10967 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10005-10005 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2821-2821 | European style option is a subattribute of option |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22600-22600 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22599-22599 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22598-22598 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2825-2837 |
|
![]() |
![]() |