| 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 | The number 1 argument of loan for purchase is an instance of loan |
| (domain loanForPurchase 2 Object) | FinancialOntology.kif 1313-1313 | The number 2 argument of loan for purchase is an instance of object |
| (instance loanForPurchase BinaryPredicate) | FinancialOntology.kif 1311-1311 | 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 34858-34858 | |
| (termFormat ChineseTraditionalLanguage loanForPurchase "貸款購買") | domainEnglishFormat.kif 34857-34857 | |
| (termFormat EnglishLanguage loanForPurchase "loan for purchase") | domainEnglishFormat.kif 34856-34856 |
| 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 |
|
| (=> (and (instance ?Loan Mortgage) (loanForPurchase ?Loan ?RealEstate)) (securedBy ?Loan ?RealEstate)) |
FinancialOntology.kif 1387-1391 |
| consequent |
|
|
| (=> (instance ?Loan Mortgage) (exists (?Estate) (and (instance ?Estate RealEstate) (loanForPurchase ?Loan ?Estate)))) |
FinancialOntology.kif 1380-1385 |
|
|
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