Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agreementEffectiveDate
agreementEffectiveDate

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
No TPTP formula. May not be expressible in strict first order. Government.kif 715-720
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11619-11624
( ! [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

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