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 1255-1256
(domain loanForPurchase 1 Loan)	FinancialOntology.kif 1253-1253	The number 1 argument of loan for purchase is an instance of loan
(domain loanForPurchase 2 Object)	FinancialOntology.kif 1254-1254	The number 2 argument of loan for purchase is an instance of object
(instance loanForPurchase BinaryPredicate)	FinancialOntology.kif 1252-1252	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 34753-34753
(termFormat ChineseTraditionalLanguage loanForPurchase "貸款購買")	domainEnglishFormat.kif 34752-34752
(termFormat EnglishLanguage loanForPurchase "loan for purchase")	domainEnglishFormat.kif 34751-34751

antecedent

(=> (and (downPayment ?Loan ?Amount) (loanForPurchase ?Loan ?Purchase) (monetaryValue ?Purchase ?Value) (equal ?Balance (SubtractionFn ?Value ?Amount))) (originalBalance ?Loan ?Balance))	FinancialOntology.kif 766-772	If a number 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 number and a third number is equal to (the other number and the number), then the third number is an original balance of the loan
(=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate))	FinancialOntology.kif 1328-1332	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 1321-1326

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