Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConventionalMortgage
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


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