TreeView Knowledge Base Browser

appearance as argument number 1

(instance loanForPurchase BinaryPredicate)	FinancialOntology.kif 1350-1350	loan for purchase is an instance of binary predicate
(domain loanForPurchase 1 Loan)	FinancialOntology.kif 1351-1351	The number 1 argument of loan for purchase is an instance of loan
(domain loanForPurchase 2 Object)	FinancialOntology.kif 1352-1352	The number 2 argument of loan for purchase is an instance of object
(documentation loanForPurchase EnglishLanguage "(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT.")	FinancialOntology.kif 1353-1354	The number 2 argument of loan for purchase is an instance of object

appearance as argument number 2

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

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 840-850	If X Y(s) is a down payment of Z, W is a loan for purchase of Z, value of W is V Y(s), and equal U and (V and X), then U Y(s) is an original balance of Z
(=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate))	FinancialOntology.kif 1427-1431	If X is an instance of mortgage and Y is a loan for purchase of X, then Y is a secured by of X

consequent

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

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