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 1314-1315
(domain loanForPurchase 1 Loan)	FinancialOntology.kif 1312-1312	域貸款購買, 1 and 貸款
(domain loanForPurchase 2 Object)	FinancialOntology.kif 1313-1313	域貸款購買, 2 and Object
(instance loanForPurchase BinaryPredicate)	FinancialOntology.kif 1311-1311	例貸款購買 and BinaryPredicate

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 34829-34829
(termFormat ChineseTraditionalLanguage loanForPurchase "貸款購買")	domainEnglishFormat.kif 34828-34828
(termFormat EnglishLanguage loanForPurchase "loan for purchase")	domainEnglishFormat.kif 34827-34827

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 818-828	測量 RealNumber and UnitOfMeasure 是貸款的 down 費用 Object 是給貸款購買的 loan 貨幣價值 Object and 測量 RealNumber and UnitOfMeasure 等於 RealNumber and 減法 RealNumber and RealNumber 測量 RealNumber and UnitOfMeasure 是貸款的 original 金額
(=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate))	FinancialOntology.kif 1387-1391	例貸款 and 抵押 Object 是給貸款購買的 loan Object 是貸款的 secured

consequent

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

FinancialOntology.kif 1380-1385