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 14493-14494 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2816-2816 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2677-2677 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2817-2817 | |
| 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. | pictureList.kif 2814-2814 | |
| 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. | Merge.kif 14492-14492 | 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 284-284 | The range of currency is an instance of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | Bank card is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2189-2189 | Bond is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 90-90 | Check is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14496-14496 | Currency is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 86-86 | Note is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3815-3815 | Receipt is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2011-2011 | Security is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2083-2083 | Stock is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3770-3770 | Title is a subclass of financial instrument |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23701-23701 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23700-23700 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23699-23699 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2531-2531 | 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 2661-2661 | 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 11048-11053 |
|
|
|
|