agreementEffectiveDate - Sigma Knowledge base Browser

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 14954-14956
(domain agreementEffectiveDate 1 Agreement)	Mid-level-ontology.kif 14952-14952
(domain agreementEffectiveDate 2 TimePoint)	Mid-level-ontology.kif 14953-14953
(instance agreementEffectiveDate BinaryPredicate)	Mid-level-ontology.kif 14951-14951

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 677-682
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 684-689
(=> (and (agreementEffectiveDate ?Account ?Date) (currentAccountBalance ?Account ?Date ?Balance)) (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726
(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14944-14949
(=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan)))))	FinancialOntology.kif 807-816

consequent

(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency))
    (exists (?Payment ?Date ?Amount)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment
                (MeasureFn ?Amount ?U))
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))

FinancialOntology.kif 686-699

appearance as argument number 0

(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))

Geography.kif 3181-3181