Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agreementExpirationDate
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 13517-13519
(domain agreementExpirationDate 1 Agreement) Mid-level-ontology.kif 13515-13515 The number 1 argument of expiration date is an instance of agreement
(domain agreementExpirationDate 2 TimePoint) Mid-level-ontology.kif 13516-13516 The number 2 argument of expiration date is an instance of time point
(instance agreementExpirationDate BinaryPredicate) Mid-level-ontology.kif 13514-13514 expiration date is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage agreementExpirationDate "%1 有 expiration %2 ") domainEnglishFormat.kif 2731-2731
(format ChineseTraditionalLanguage agreementExpirationDate "%1 有 expiration %2 ") domainEnglishFormat.kif 2730-2730
(format EnglishLanguage agreementExpirationDate "%1 has expiration %2") domainEnglishFormat.kif 2729-2729
(termFormat ChineseLanguage agreementExpirationDate "截止日期") domainEnglishFormat.kif 22815-22815
(termFormat ChineseTraditionalLanguage agreementExpirationDate "截止日期") domainEnglishFormat.kif 22814-22814
(termFormat EnglishLanguage agreementExpirationDate "expiration date") domainEnglishFormat.kif 22813-22813

antecedent
-------------------------


(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 13521-13524


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners