strikePrice
|
|
Sigma KEE - strikePrice
appearance as argument number 1
|
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2611-2613 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2609-2609 |
The number 1 argument of strike price is an instance of financial instrument |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2610-2610 |
The number 2 argument of strike price is an instance of currency measure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2608-2608 |
strike price is an instance of binary predicate |
appearance as argument number 2
|
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2383-2383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2382-2382 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2381-2381 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55638-55638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55637-55637 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55636-55636 |
|
antecedent
|
|
consequent
|
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3119-3143 |
- If a process is an instance of butterfly spread,
- then there exist a financial instrument, another financial instrument,, , a third financial instrument,, , a fourth financial instrument,, , a real number,, , another real number,, , a third real number,, , a fourth real number and an unit of measure such that the financial instrument is an instance of call option and the other financial instrument is an instance of call option and the third financial instrument is an instance of call option and the fourth financial instrument is an instance of call option and the financial instrument is a subprocess of the process and the other financial instrument is a subprocess of the process and the third financial instrument is a subprocess of the process and the fourth financial instrument is a subprocess of the process and the unit of measure is an instance of unit of currency and the real number the unit of measure(s) is a strike price of the financial instrument and the other real number the unit of measure(s) is a strike price of the other financial instrument and the third real number the unit of measure(s) is a strike price of the third financial instrument and the fourth real number the unit of measure(s) is a strike price of the fourth financial instrument and the real number is less than the other real number and the real number is less than the third real number and the fourth real number is greater than the other real number and the fourth real number is greater than the other real number
|
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 2540-2551 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|