more pictures...
| FinancialInstrument(financial instrument)
more pictures... | | certificate, cookie_jar_reserve, current_assets, deep_pocket, insurable_interest, liquid_assets, overage, quick_assets, reserve_assets, security, soft_money, soybean_future, tax-exempt, tax-exempt_security, tranche, wheat_future |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3572-3572 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15797-15798 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2814-2814 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2675-2675 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2815-2815 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2811-2811 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2812-2812 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2813-2813 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15796-15796 | Financial instrument is a subclass of certificate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 286-286 | The range of currency is an instance of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 181-181 | Bank card is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2276-2276 | Bond is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 92-92 | Check is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15800-15800 | Currency is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 88-88 | Note is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3990-3990 | Receipt is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2097-2097 | Security is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2169-2169 | Stock is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3946-3946 | Title is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23779-23779 | Title is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23778-23778 | Title is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23777-23777 | Title is a subclass of financial instrument |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2626-2626 | 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 2757-2757 | The number 2 argument of underlier is an instance of financial instrument |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11990-11995 |
|
|
|
|