FinancialTransaction
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3095-3096 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11836-11838 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1866-1867 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11834-11834 | 金融交易 是 交易 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20489-20489 | 职业 的所得值 是 金融交易 的 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 507-507 | 自动交易 是 金融交易 的 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. | FinancialOntology.kif 1424-1424 | 呼叫 是 金融交易 的 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 890-890 | 收费 是 金融交易 的 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. | Merge.kif 11872-11872 | 商业服务 是 金融交易 的 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 426-426 | 存款 是 金融交易 的 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. | Economy.kif 2396-2396 | 出口 是 金融交易 的 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 2829-2829 | 填写订单 是 金融交易 的 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 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 4138-4138 | 内部转移 是 金融交易 的 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 2069-2069 | 清算 是 金融交易 的 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 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 290-290 | 开户 是 金融交易 的 subclass |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1685-1685 | broker 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3879-3879 | 确认号码 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1705-1705 | eCommerceSite 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7204-7204 | 失 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1965-1965 | 订购给 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7602-7602 | 利润 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 895-895 | 服务费 的 2 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11850-11850 | 交易金额 的 1 数量 是 金融交易 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3991-3991 | 每日限额 的 2 数量 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 680-680 | 最低余额 的 2 数量 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20497-20497 | 占用 的 2 数量 是 金融交易 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1966-1966 | 订购给 的 2 数量 是 金融交易 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1129-1142 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1239-1247 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1033-1041 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3516-3523 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2887-2903 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3543-3554 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1727-1746 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1759-1778 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1791-1810 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3959-3966 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3838-3852 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3815-3827 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3907-3914 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11840-11845 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7727-7733 | 施事体 是 有认知的主事 的 customer 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 施事体 是 那个 过程 的 agent 和 那个 过程 在 那个 有认知的主事 结束 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3635-3642 | 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1637-1641 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10631-10643 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 954-977 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1192-1207 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3590-3601 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3885-3895 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29474-29485 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3386-3393 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1974-1984 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22441-22447 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22560-22574 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7083-7089 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 388-407 |
|