agreementEffectiveDate - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__agreementEffectiveDate__m,s__EnglishLanguage,'(agreementEffectiveDate ?AGREEMENT ?TIME) means that ?AGREEMENT goes into effect at TimePoint ?TIME, and remains an ActiveAgreement for TimeDuration ?DURATION.')	Mid-level-ontology.kif 11629-11631
s__domain(s__agreementEffectiveDate__m,1,s__Agreement)	Mid-level-ontology.kif 11627-11627	The number 1 argument of agreement effective date is an instance of agreement
s__domain(s__agreementEffectiveDate__m,2,s__TimePoint)	Mid-level-ontology.kif 11628-11628	The number 2 argument of agreement effective date is an instance of time point
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__agreementEffectiveDate__m,s__BinaryPredicate)	Mid-level-ontology.kif 11626-11626	agreement effective date is an instance of binary predicate

appearance as argument number 2

s__format(s__EnglishLanguage,s__agreementEffectiveDate__m,'%2 is %n an agreement effective date of %1')	domainEnglishFormat.kif 30-30
s__termFormat(s__EnglishLanguage,s__agreementEffectiveDate__m,'agreement effective date')	domainEnglishFormat.kif 1418-1418	"agreement effective date" is the printable form of agreement effective date in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 708-713	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
No TPTP formula. May not be expressible in strict first order.	Government.kif 715-720	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
( ! [V__Date,V__Balance,V__Account] : ((s__instance(V__Date,s__TimePoint)s__and__ms__instance(V__Date,s__Day)s__and__ms__instance(V__Balance,s__CurrencyMeasure)s__and__ms__instance(V__Account,s__FinancialAccount)) s__=>((s__agreementEffectiveDate(V__Account,V__Date) s__and__ms__currentAccountBalance(V__Account,V__Date,V__Balance)) s__=>s__originalBalance(V__Account,V__Balance))) )	FinancialOntology.kif 676-680	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11619-11624	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 has an attribute active agreement holds during a time that starts at the time point and lasts for the time interval
( ! [V__Amount,V__Loan,V__Date] : ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Loan,s__Loan)s__and__ms__instance(V__Date,s__TimePoint)s__and__ms__instance(V__Date,s__Day)) s__=>((s__downPayment(V__Loan,V__Amount) s__and__ms__agreementEffectiveDate(V__Loan,V__Date)) s__=>(s__exists__m[V__Payment] : (s__instance(V__Payment,s__FinancialTransaction)s__and__m(s__transactionAmount(V__Payment,V__Amount) s__and__ms__date(V__Payment,V__Date) s__and__ms__destination(V__Payment,s__CurrencyFn(V__Loan))))))) )	FinancialOntology.kif 757-765	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

( ! [V__Amount,V__Date,V__Balance,V__Account,V__FinancialAccount] :
   ((s__instance(V__Amount,s__CurrencyMeasure)s__and__ms__instance(V__Date,s__TimePoint)s__and__ms__instance(V__Date,s__Day)s__and__ms__instance(V__Balance,s__CurrencyMeasure)s__and__ms__instance(V__Account,s__FinancialAccount)s__and__ms__instance(V__FinancialAccount,s__SetOrClass))
    s__=>((s__instance(V__Account,V__FinancialAccount)
      s__and__ms__minimumBalance(V__Account,s__OpeningAnAccount,V__Balance))
  s__=>(s__exists__m[V__Payment] :
     (s__instance(V__Payment,s__FinancialTransaction)s__and__m(s__destination(V__Payment,s__CurrencyFn(V__Account))
  s__and__ms__transactionAmount(V__Payment,V__Amount)
s__and__ms__greaterThanOrEqualTo(V__Amount,V__Balance)
s__and__ms__agreementEffectiveDate(V__Account,V__Date)
s__and__ms__date(V__Payment,V__Date))))))
)

FinancialOntology.kif 646-656

If a financial account is an instance of a set or class and the financial account minimum balance opening an account for a currency measure,
then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and another currency measure is a transaction amount of the financial transaction and the other currency measure is greater than or equal to the currency measure and a 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

s__agreementEffectiveDate(s__AntarcticTreaty,s__DayFn(23,s__MonthFn(s__June,s__YearFn(1961))))

Geography.kif 3039-3039

The day 23 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: