| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11834-11834 | 金融交易 是 交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1909-1909 | TransactionCollection 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1943-1943 | Vending 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20499-20499 | 工作的 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22421-22421 | 租 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11872-11872 | 商业服务 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11884-11884 | 打赌 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11890-11890 | 购买 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11901-11901 | 出售 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | 开户 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 308-308 | 使用帐户 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 353-353 | 控制一个帐户 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 388-388 | 关闭帐户 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | 付款 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 426-426 | 存款 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 455-455 | 退出 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 483-483 | 投资 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 507-507 | 自动交易 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 890-890 | 收费 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1424-1424 | 呼叫 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1445-1445 | 再融资 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1799-1799 | 资产分配 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1950-1950 | 正在下单 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2069-2069 | 清算 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2146-2146 | 财务违约 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2220-2220 | 股票分割 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2749-2749 | 执行一个选项 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2829-2829 | 填写订单 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2833-2833 | 取消订单 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3079-3079 | 期权策略 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3179-3179 | 卖空 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3191-3191 | 股市交易 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3420-3420 | 滚下 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3976-3976 | 财务要求 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3980-3980 | 财务回应 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4125-4125 | 外部转移 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4138-4138 | 内部转移 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4152-4152 | 更新 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2396-2396 | 出口 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 284-284 | 穆哈尔萨达克 是 金融交易 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 304-304 | 穆卡达姆萨达克 是 金融交易 的 subclass |
|
|