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 15422-15424 | |
(domain agreementExpirationDate 1 Agreement) | Mid-level-ontology.kif 15420-15420 | The number 1 argument of expiration date is an instance of agreement |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 15421-15421 | The number 2 argument of expiration date is an instance of time point |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 15419-15419 | expiration date is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2726-2726 | |
(format ChineseTraditionalLanguage agreementExpirationDate "%1 有 expiration %2 ") | domainEnglishFormat.kif 2725-2725 | |
(format EnglishLanguage agreementExpirationDate "%1 has expiration %2") | domainEnglishFormat.kif 2724-2724 | |
(subrelation maturityDate agreementExpirationDate) | FinancialOntology.kif 632-632 | maturity date is a subrelation of expiration date |
(termFormat ChineseLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22825-22825 | maturity date is a subrelation of expiration date |
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22824-22824 | maturity date is a subrelation of expiration date |
(termFormat EnglishLanguage agreementExpirationDate "expiration date") | domainEnglishFormat.kif 22823-22823 | maturity date is a subrelation of expiration date |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |