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 15415-15417
(domain agreementEffectiveDate 1 Agreement)	Mid-level-ontology.kif 15413-15413	The number 1 argument of agreement effective date is an instance of agreement
(domain agreementEffectiveDate 2 TimePoint)	Mid-level-ontology.kif 15414-15414	The number 2 argument of agreement effective date is an instance of time point
(instance agreementEffectiveDate BinaryPredicate)	Mid-level-ontology.kif 15412-15412	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 677-682	If a time point is an agreement effective date of an agreement and the agreement obligates a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent is obliged to perform tasks of type the formula holds during immediately after the time position
(=> (and (agreementEffectiveDate ?AGR ?DATE) (confersRight ?FORMULA ?AGR ?AGENT) (instance ?TIME ?DATE)) (holdsDuring (ImmediateFutureFn ?TIME) (holdsRight ?FORMULA ?AGENT)))	Government.kif 684-689	If a time point is an agreement effective date of an agreement and the agreement allows a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent has the right to perform the formula holds during immediately after the time position
(=> (and (agreementEffectiveDate ?Account ?Date) (currentAccountBalance ?Account ?Date ?Balance)) (originalBalance ?Account ?Balance))	FinancialOntology.kif 724-728	If a time point is an agreement effective date of a financial account and the financial account current account balance the time point for a currency measure, then the currency measure is an original balance of the financial account
(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 15405-15410	If a time interval is an agreement period of an agreement and a time point is an agreement effective date of the agreement, then the agreement the attribute active agreement holds during a time that starts at the time point and lasts for the time interval
(=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan)))))	FinancialOntology.kif 809-818	If a currency measure is a down payment of a loan and a time point is an agreement effective date of the loan, then there exists a financial transaction such that the currency measure is a transaction amount of the financial transaction and date of the financial transaction is the time point and the financial transaction ends up at the currency of the loan

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 688-701

If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency,
then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point

appearance as argument number 0

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

Geography.kif 3181-3181

?D is an instance of the day 23 of month the month June is an agreement effective date of antarctic treaty

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

KB Term:			Term intersection

English Word: