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 11635-11637
s__domain(s__agreementEffectiveDate__m,n__1,s__Agreement)

Mid-level-ontology.kif 11633-11633 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 11634-11634 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 11632-11632 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 5911-5911
s__termFormat(s__ChineseTraditionalLanguage,s__agreementEffectiveDate__m,'"協議生效日期"')

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

domainEnglishFormat.kif 5909-5909

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 11625-11630
( ! [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