| ConventionalMortgage
|
| appearance as argument number 1 |
|
| (documentation ConventionalMortgage EnglishLanguage "A mortgage that is not insured or guaranteed by the government.") | FinancialOntology.kif 1508-1509 | |
| (externalImage ConventionalMortgage "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") | pictureList.kif 9979-9979 | |
| (subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1507-1507 |
| appearance as argument number 2 |
|
|
| (disjoint FHALoan ConventionalMortgage) | FinancialOntology.kif 1489-1489 | |
| (termFormat ChineseLanguage ConventionalMortgage "传统抵押贷款") | domainEnglishFormat.kif 17085-17085 | |
| (termFormat ChineseTraditionalLanguage ConventionalMortgage "傳統抵押貸款") | domainEnglishFormat.kif 17084-17084 | |
| (termFormat EnglishLanguage ConventionalMortgage "conventional mortgage") | domainEnglishFormat.kif 17083-17083 |
| antecedent |
|
|
| (=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1511-1516 |
|
|
|