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

Formal Language: 



KB Term:  Term intersection
English Word: 

  originalBalance

Sigma KEE - originalBalance
originalBalance

appearance as argument number 1
-------------------------


s__documentation(s__originalBalance__m,s__EnglishLanguage,'"(originalBalance ?ACCOUNT ?BALANCE) means that ?BALANCE is the balance of the account at the time the account is opened."')

FinancialOntology.kif 679-680
s__domain(s__originalBalance__m,n__1,s__FinancialAccount)

FinancialOntology.kif 677-677 The number 1 argument of original balance is an instance of financial account
s__domain(s__originalBalance__m,n__2,s__CurrencyMeasure)

FinancialOntology.kif 678-678 The number 2 argument of original balance is an instance of currency measure
s__instance(s__originalBalance__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 676-676 original balance is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__originalBalance__m,'"%2 %n 是 %1 的 original 金额"')

domainEnglishFormat.kif 1871-1871
s__format(s__ChineseTraditionalLanguage,s__originalBalance__m,'"%2 %n 是 %1 的 original 金額"')

domainEnglishFormat.kif 1870-1870
s__format(s__EnglishLanguage,s__originalBalance__m,'"%2 is %n an original balance of %1"')

domainEnglishFormat.kif 1869-1869
s__termFormat(s__ChineseLanguage,s__originalBalance__m,'"原始余额"')

domainEnglishFormat.kif 42571-42571
s__termFormat(s__ChineseTraditionalLanguage,s__originalBalance__m,'"原始餘額"')

domainEnglishFormat.kif 42570-42570
s__termFormat(s__EnglishLanguage,s__originalBalance__m,'"original balance"')

domainEnglishFormat.kif 42569-42569

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


( ! [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 682-686
( ! [V__Amount,V__Loan,V__Balance,V__Value,V__Purchase] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Loan,s__Loan) &
         s__instance(V__Balance,s__Number) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Value,s__Number) &
         s__instance(V__Value,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Object))
       =>
       (((s__downPayment(V__Loan,V__Amount)
           &
           s__loanForPurchase(V__Loan,V__Purchase)
         &
         s__monetaryValue(V__Purchase,V__Value)
       &
       (V__Balance = s__SubtractionFn(V__Value,V__Amount)))
   =>
   (s__originalBalance(V__Loan,V__Balance)))))
)
)

FinancialOntology.kif 776-782


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners