TreeView Knowledge Base Browser

appearance as argument number 1

(documentation loanForPurchase EnglishLanguage "(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT.")	FinancialOntology.kif 1330-1331
(domain loanForPurchase 1 Loan)	FinancialOntology.kif 1328-1328	The number 1 argument of loan for purchase is an instance of loan
(domain loanForPurchase 2 Object)	FinancialOntology.kif 1329-1329	The number 2 argument of loan for purchase is an instance of object
(instance loanForPurchase BinaryPredicate)	FinancialOntology.kif 1327-1327	loan for purchase is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage loanForPurchase "%2 %n 是给 %1 购买的 loan ")	domainEnglishFormat.kif 1551-1551
(format ChineseTraditionalLanguage loanForPurchase "%2 %n 是給 %1 購買的 loan ")	domainEnglishFormat.kif 1550-1550
(format EnglishLanguage loanForPurchase "%2 is %n a loan for purchase of %1")	domainEnglishFormat.kif 1549-1549
(termFormat ChineseLanguage loanForPurchase "贷款购买")	domainEnglishFormat.kif 34840-34840
(termFormat ChineseTraditionalLanguage loanForPurchase "貸款購買")	domainEnglishFormat.kif 34839-34839
(termFormat EnglishLanguage loanForPurchase "loan for purchase")	domainEnglishFormat.kif 34838-34838

antecedent

(=> (and (downPayment ?Loan (MeasureFn ?Amount ?CUNIT)) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase (MeasureFn ?Value ?CUNIT)) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan (MeasureFn ?Balance ?CUNIT)))	FinancialOntology.kif 820-830	If a real number an unit of measure(s) is a down payment of a loan and an object is a loan for purchase of the loan and value of the object is another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the third real number the unit of measure(s) is an original balance of the loan
(=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate))	FinancialOntology.kif 1403-1407	If a loan is an instance of mortgage and an object is a loan for purchase of the loan, then the object is a secured by of the loan

consequent

(=>
    (instance ?Loan Mortgage)
    (exists (?Estate)
        (and
            (instance ?Estate RealEstate)
            (loanForPurchase ?Loan ?Estate))))

FinancialOntology.kif 1396-1401

If a loan is an instance of mortgage,
then there exists an object such that the object is an instance of real estate and the object is a loan for purchase of the loan