MosetenanLanguage
|
|
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 is a subattribute of financial contract |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2784-2784 | American style option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2617-2617 | Call option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2555-2555 | Conventional option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2824-2824 | Equity option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2804-2804 | European style option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2991-2991 | Index option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2568-2568 | LEAPS is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2663-2663 | Put option is a subattribute of option |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2707-2707 | Stock option is a subattribute of 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 | 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 2996-2996 | 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 3045-3045 | 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 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 |
|