Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - agreementEffectiveDate
agreementEffectiveDate

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


(instance agreementEffectiveDate BinaryPredicate) Mid-level-ontology.kif 15624-15624 agreement effective date is an instance of binary predicate
(domain agreementEffectiveDate 1 Agreement) Mid-level-ontology.kif 15625-15625 The number 1 argument of agreement effective date is an instance of agreement
(domainSubclass agreementEffectiveDate 2 Day) Mid-level-ontology.kif 15626-15626 The number 2 argument of agreement effective date is a subclass of day
(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 15627-15629 The number 2 argument of agreement effective date is a subclass of day

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


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

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


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 15617-15622 If X is an agreement period of Y and Z is an agreement effective date of Y, then Y the attribute active agreement holds during a time that starts at Z and lasts for X
(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))		 FinancialOntology.kif 744-748 If X is an agreement effective date of Y and Y current account balance X for Z, then Z is an original balance of Y
(=>
    (and
        (downPayment ?Loan ?Amount)
        (agreementEffectiveDate ?Loan ?Date))
    (exists (?Payment)
        (and
            (transactionAmount ?Payment ?Amount)
            (date ?Payment ?Date)
            (destination ?Payment
                (CurrencyFn ?Loan)))))		 FinancialOntology.kif 829-838 If X is a down payment of Y and Z is an agreement effective date of Y, then there exists W such that X is a transaction amount of W, date of W is Z, and W ends up at the currency of Y
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?AGR ?AGENT ?FORMULA)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?AGENT ?FORMULA)))		 Government.kif 677-684 If X is an agreement effective date of Y, Z obligates W to perform task of the type Y, and V is an instance of X, then Z is obliged to perform tasks of type W holds during immediately after V
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?AGR ?AGENT ?FORMULA)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?AGENT ?FORMULA)))		 Government.kif 686-693 If X is an agreement effective date of Y, Z allows W to perform task of the type Y, and V is an instance of X, then Z has the right to perform holds during immediately after V

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 708-721 If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V

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


(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))		 Geography.kif 4629-4632 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners