agreementExpirationDate |
appearance as argument number 1 |
(documentation agreementExpirationDate EnglishLanguage "(agreementExpirationDate ?AGREEMENT ?ENDDATE) means that ?ENDDATE is the date on which ?AGREEMENT is no longer ActiveAgreement.") | Mid-level-ontology.kif 14050-14052 | |
(domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 14048-14048 | The number 1 argument of expiration date is an instance of agreement |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 14049-14049 | The number 2 argument of expiration date is an instance of time point |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 14047-14047 | expiration date is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2730-2730 | |
(format ChineseTraditionalLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2729-2729 | |
(format EnglishLanguage agreementExpirationDate "%1 has expiration %2") | domainEnglishFormat.kif 2728-2728 | |
(subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 630-630 | maturity date is a subrelation of expiration date |
(termFormat ChineseLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22822-22822 | |
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22821-22821 | |
(termFormat EnglishLanguage agreementExpirationDate "expiration date") | domainEnglishFormat.kif 22820-22820 |
antecedent |
consequent |