| appearance as argument number 1 |
|
| (instance loanForPurchase BinaryPredicate) | FinancialOntology.kif 1327-1327 | loan for purchase is an instance of binary predicate |
| (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 |
| (documentation loanForPurchase EnglishLanguage "(loanForPurchase ?ACCOUNT ?PRODUCT) means that ?ACCOUNT is a loan to finance the purchase of ?PRODUCT.") | FinancialOntology.kif 1330-1331 | 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 820-830 | 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 1403-1407 | 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)))) |
FinancialOntology.kif 1396-1401 | 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 |
|
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