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 14026-14028
(domain agreementEffectiveDate 1 Agreement) Mid-level-ontology.kif 14024-14024 协议生效日期 的 1 数量 是 协议 的 instance
(domain agreementEffectiveDate 2 TimePoint) Mid-level-ontology.kif 14025-14025 协议生效日期 的 2 数量 是 时点 的 instance
(instance agreementEffectiveDate BinaryPredicate) Mid-level-ontology.kif 14023-14023 协议生效日期 是 二元谓语 的 instance

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 5904-5904
(termFormat ChineseTraditionalLanguage agreementEffectiveDate "協議生效日期") domainEnglishFormat.kif 5903-5903
(termFormat EnglishLanguage agreementEffectiveDate "agreement effective date") domainEnglishFormat.kif 5902-5902

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


(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersObligation ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsObligation ?FORMULA ?AGENT)))		 Government.kif 714-719
(=>
    (and
        (agreementEffectiveDate ?AGR ?DATE)
        (confersRight ?FORMULA ?AGR ?AGENT)
        (instance ?TIME ?DATE))
    (holdsDuring
        (ImmediateFutureFn ?TIME)
        (holdsRight ?FORMULA ?AGENT)))		 Government.kif 721-726
(=>
    (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 14016-14021
(=>
    (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 3193-3193 ?D 是 23 Day 的 instance 是 南极条约 的 agreement 生效日期


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