customerRepresentative |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3631-3633 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3628-3628 | 客户代表 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3629-3629 | 客户代表 的 2 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3630-3630 | 客户代表 的 3 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3627-3627 | 客户代表 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 632-632 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 631-631 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 630-630 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18174-18174 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18173-18173 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18172-18172 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3635-3642 | 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束 |
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2795-2805 |