agreementPeriod |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14012-14014 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14010-14010 | 协议期限 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14011-14011 | 协议期限 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14009-14009 | 协议期限 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 96-96 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 95-95 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 94-94 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5922-5922 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5921-5921 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5920-5920 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 642-646 | 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3920-3926 | 有存在 时距 这样 贷款 是 贷款 的 instance 和 那个 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益 是 那个 贷款 的 loan 利息 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14016-14021 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1261-1271 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1224-1233 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1273-1282 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1497-1502 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1615-1624 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4162-4166 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-306 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1579-1583 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2574-2580 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2558-2564 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2940-2944 |