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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agreementEffectiveDate

Sigma KEE - agreementEffectiveDate
agreementEffectiveDate

appearance as argument number 1
-------------------------


(documentation agreementEffectiveDate EnglishLanguage "(agreementEffectiveDate ?AGREEMENT ?TIME) means that ?AGREEMENT goes into effect at TimePoint ?TIME, and remains an ActiveAgreement for TimeDuration ?DURATION.") Mid-level-ontology.kif 13492-13494
(domain agreementEffectiveDate 1 Agreement) Mid-level-ontology.kif 13490-13490 The number 1 argument of agreement effective date is an instance of agreement
(domain agreementEffectiveDate 2 TimePoint) Mid-level-ontology.kif 13491-13491 The number 2 argument of agreement effective date is an instance of time point
(instance agreementEffectiveDate BinaryPredicate) Mid-level-ontology.kif 13489-13489 agreement effective date is an instance of binary predicate

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


(format ChineseLanguage agreementEffectiveDate "%2 %n 是 %1 的 agreement 生效日期") domainEnglishFormat.kif 84-84
(format ChineseTraditionalLanguage agreementEffectiveDate "%2 %n 是 %1 的 agreement 生效日期") domainEnglishFormat.kif 83-83
(format EnglishLanguage agreementEffectiveDate "%2 is %n an agreement effective date of %1") domainEnglishFormat.kif 82-82
(termFormat ChineseLanguage agreementEffectiveDate "协议生效日期") domainEnglishFormat.kif 5913-5913
(termFormat ChineseTraditionalLanguage agreementEffectiveDate "協議生效日期") domainEnglishFormat.kif 5912-5912
(termFormat EnglishLanguage agreementEffectiveDate "agreement effective date") domainEnglishFormat.kif 5911-5911

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


(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))
Government.kif 700-705
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))
Government.kif 707-712
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 13482-13487

appearance as argument number 0
-------------------------


(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3115-3115 The day 23 is an agreement effective date of antarctic treaty


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

Show without tree


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