| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15646-15646 | 金融工具 是 证书 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15650-15650 | 货币 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 86-86 | 注意 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 90-90 | 校验 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 179-179 | 银行卡 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2080-2080 | 安全 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2152-2152 | 股票 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2259-2259 | 键 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3928-3928 | 标题 是 金融工具 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3972-3972 | 收据 是 金融工具 的 subclass |
|
|