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 11662-11664
s__domain(s__agreementEffectiveDate__m,n__1,s__Agreement)

Mid-level-ontology.kif 11660-11660 The number 1 argument of agreement effective date is an instance of agreement
s__domain(s__agreementEffectiveDate__m,n__2,s__TimePoint)

Mid-level-ontology.kif 11661-11661 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 11659-11659 agreement effective date is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__agreementEffectiveDate__m,'"%2 %n 是 %1 的 agreement 生效日期"')

domainEnglishFormat.kif 84-84
s__format(s__ChineseTraditionalLanguage,s__agreementEffectiveDate__m,'"%2 %n 是 %1 的 agreement 生效日期"')

domainEnglishFormat.kif 83-83
s__format(s__EnglishLanguage,s__agreementEffectiveDate__m,'"%2 is %n an agreement effective date of %1"')

domainEnglishFormat.kif 82-82
s__termFormat(s__ChineseLanguage,s__agreementEffectiveDate__m,'"协议生效日期"')

domainEnglishFormat.kif 5915-5915
s__termFormat(s__ChineseTraditionalLanguage,s__agreementEffectiveDate__m,'"協議生效日期"')

domainEnglishFormat.kif 5914-5914
s__termFormat(s__EnglishLanguage,s__agreementEffectiveDate__m,'"agreement effective date"')

domainEnglishFormat.kif 5913-5913

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


No TPTP formula. May not be expressible in strict first order. Government.kif 701-706
No TPTP formula. May not be expressible in strict first order. Government.kif 708-713
( ! [V__Date,V__Balance,V__Account] :
   (((s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount))
       =>
       (((s__agreementEffectiveDate(V__Account,V__Date)
           &
           s__currentAccountBalance(V__Account,V__Date,V__Balance))
       =>
       (s__originalBalance(V__Account,V__Balance)))))
)
)

FinancialOntology.kif 675-679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11652-11657
( ! [V__Amount,V__Loan,V__Date] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Loan,s__Loan) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day))
       =>
       (((s__downPayment(V__Loan,V__Amount)
           &
           s__agreementEffectiveDate(V__Loan,V__Date))
       =>
       (( ? [V__Payment] :
           ((s__instance(V__Payment,s__FinancialTransaction) &
               (s__transactionAmount(V__Payment,V__Amount)
               &
               s__date(V__Payment,V__Date)
             &
             s__destination(V__Payment,s__CurrencyFn(V__Loan))))))))))
)
)

FinancialOntology.kif 756-764

consequent
-------------------------


( ! [V__Amount,V__Date,V__Balance,V__Account] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__CurrencyMeasure))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__OpeningAnAccount,V__Balance))
         =>
         (( ? [V__Payment] :
             ((s__instance(V__Payment,s__FinancialTransaction) &
                 (s__destination(V__Payment,s__CurrencyFn(V__Account))
               &
               s__transactionAmount(V__Payment,V__Amount)
             &
             s__greaterThanOrEqualTo(V__Amount,V__Balance)
           &
           s__agreementEffectiveDate(V__Account,V__Date)
         &
         s__date(V__Payment,V__Date)))))))))
)
)

FinancialOntology.kif 645-655