ConventionalMortgage![]() |
appearance as argument number 1 |
![]() |
(documentation ConventionalMortgage EnglishLanguage "A mortgage that is not insured or guaranteed by the government.") | FinancialOntology.kif 1569-1570 | |
(externalImage ConventionalMortgage "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Borrowing_Under_a_Securitization_Structure.gif") | pictureList.kif 9960-9960 | |
(subclass ConventionalMortgage Mortgage) | FinancialOntology.kif 1568-1568 | ConventionalMortgage est une sous-classe de Mortgage |
appearance as argument number 2 |
![]() |
(disjoint FHALoan ConventionalMortgage) | FinancialOntology.kif 1551-1551 | FHALoan est disjoint de ConventionalMortgage |
(termFormat ChineseLanguage ConventionalMortgage "传统抵押贷款") | domainEnglishFormat.kif 17103-17103 | FHALoan est disjoint de ConventionalMortgage |
(termFormat ChineseTraditionalLanguage ConventionalMortgage "傳統抵押貸款") | domainEnglishFormat.kif 17102-17102 | FHALoan est disjoint de ConventionalMortgage |
(termFormat EnglishLanguage ConventionalMortgage "conventional mortgage") | domainEnglishFormat.kif 17101-17101 | FHALoan est disjoint de ConventionalMortgage |
antecedent |
![]() |
(=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1572-1577 |
|
![]() |
![]() |