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 | Le nombre 1 argument de agreementExpirationDate est une instance de Agreement |
(domain agreementExpirationDate 2 TimePoint) | Mid-level-ontology.kif 15421-15421 | Le nombre 2 argument de agreementExpirationDate est une instance de point temporel |
(instance agreementExpirationDate BinaryPredicate) | Mid-level-ontology.kif 15419-15419 | agreementExpirationDate est une instance de pr�dicat binaire |
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 | maturityDate est une sous-relation de agreementExpirationDate |
(termFormat ChineseLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22825-22825 | maturityDate est une sous-relation de agreementExpirationDate |
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") | domainEnglishFormat.kif 22824-22824 | maturityDate est une sous-relation de agreementExpirationDate |
(termFormat EnglishLanguage agreementExpirationDate "expiration date") | domainEnglishFormat.kif 22823-22823 | maturityDate est une sous-relation de agreementExpirationDate |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |