| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11856-11856 | 子類 FinancialTransaction and Transaction |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1909-1909 | 子類 TransactionCollection and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1943-1943 | 子類 Vending and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20498-20498 | 子類 工作的 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22420-22420 | 子類 租 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11894-11894 | 子類 商業服務 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11906-11906 | 子類 Betting and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11912-11912 | 子類 Buying and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11923-11923 | 子類 Selling and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | 子類 開戶 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 308-308 | 子類 使用帳戶 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 353-353 | 子類 控制一個帳戶 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 388-388 | 子類 關閉帳戶 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 403-403 | 子類 付款 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 426-426 | 子類 存款 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 455-455 | 子類 退出 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 483-483 | 子類 投資 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 507-507 | 子類 自動交易 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 890-890 | 子類 收費 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1424-1424 | 子類 呼叫 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1445-1445 | 子類 再融資 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1799-1799 | 子類 資產分配 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1950-1950 | 子類 正在下單 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2069-2069 | 子類 清算 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2146-2146 | 子類 財務違約 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2220-2220 | 子類 股票分割 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2749-2749 | 子類 執行一個選項 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2829-2829 | 子類 填寫訂單 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2833-2833 | 子類 取消訂單 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3079-3079 | 子類 期權策略 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3179-3179 | 子類 賣空 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3191-3191 | 子類 股市交易 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3420-3420 | 子類 滾下 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3976-3976 | 子類 財務要求 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3980-3980 | 子類 財務回應 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4125-4125 | 子類 外部轉移 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4138-4138 | 子類 內部轉移 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4152-4152 | 子類 更新 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2396-2396 | 子類 出口 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 284-284 | 子類 穆哈爾薩達克 and FinancialTransaction |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 304-304 | 子類 穆卡達姆薩達克 and FinancialTransaction |
|
|