TreeView Knowledge Base Browser - 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: