agreementExpirationDate |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14051-14053 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14049-14049 | 截止日期 的 1 数量 是 协议 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14050-14050 | 截止日期 的 2 数量 是 时点 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14048-14048 | 截止日期 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2730-2730 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2729-2729 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2728-2728 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 630-630 | 成人礼 是 截止日期 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22822-22822 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22821-22821 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22820-22820 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14055-14058 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2788-2800 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2808-2820 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2669-2685 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2623-2639 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2687-2703 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2641-2659 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3149-3173 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2540-2551 |