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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - loanForPurchase
loanForPurchase

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


s__documentation(s__loanForPurchase__m,s__EnglishLanguage,'"(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT."')

FinancialOntology.kif 1268-1269
s__domain(s__loanForPurchase__m,n__1,s__Loan)

FinancialOntology.kif 1266-1266 The number 1 argument of loan for purchase is an instance of loan
s__domain(s__loanForPurchase__m,n__2,s__Object)

FinancialOntology.kif 1267-1267 The number 2 argument of loan for purchase is an instance of object
s__instance(s__loanForPurchase__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 1265-1265 loan for purchase is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__loanForPurchase__m,'"%2 %n 是给 %1 购买的 loan "')

domainEnglishFormat.kif 1551-1551
s__format(s__ChineseTraditionalLanguage,s__loanForPurchase__m,'"%2 %n 是給 %1 購買的 loan "')

domainEnglishFormat.kif 1550-1550
s__format(s__EnglishLanguage,s__loanForPurchase__m,'"%2 is %n a loan for purchase of %1"')

domainEnglishFormat.kif 1549-1549
s__termFormat(s__ChineseLanguage,s__loanForPurchase__m,'"贷款购买"')

domainEnglishFormat.kif 34812-34812
s__termFormat(s__ChineseTraditionalLanguage,s__loanForPurchase__m,'"貸款購買"')

domainEnglishFormat.kif 34811-34811
s__termFormat(s__EnglishLanguage,s__loanForPurchase__m,'"loan for purchase"')

domainEnglishFormat.kif 34810-34810

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


( ! [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
( ! [V__RealEstate,V__Loan] :
   (((s__instance(V__RealEstate,s__Object) &
         s__instance(V__RealEstate,s__Collateral))
       =>
       (((s__instance(V__Loan,s__Mortgage) &
             s__loanForPurchase(V__Loan,V__RealEstate))
         =>
         (s__securedBy(V__Loan,V__RealEstate)))))
)
)

FinancialOntology.kif 1341-1345

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


( ! [V__Loan] :
   ((s__instance(V__Loan,s__Mortgage) =>
       (( ? [V__Estate] :
           ((s__instance(V__Estate,s__RealEstate) &
               s__loanForPurchase(V__Loan,V__Estate))))))
   )
)

FinancialOntology.kif 1334-1339


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 3.0 is open source software produced by Articulate Software and its partners