|
|
   FinancialInstrument
|
|
|
| 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 15647-15648 | |
| 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 2676-2676 | |
| 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 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. | pictureList.kif 2814-2814 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15646-15646 | 子類 金融工具 and Certificate |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 284-284 | 範圍 貨幣 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | 子類 銀行卡 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2259-2259 | 子類 鍵 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 90-90 | 子類 校驗 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15650-15650 | 子類 貨幣 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 86-86 | 子類 注意 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3972-3972 | 子類 收據 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2080-2080 | 子類 安全 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | 子類 股票 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3928-3928 | 子類 標題 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23774-23774 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23773-23773 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23772-23772 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2609-2609 | 域 執行價格, 1 and 金融工具 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2740-2740 | 域 底層證券, 2 and 金融工具 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11840-11845 |
|
|
|
