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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConventionalMortgage

Sigma KEE - ConventionalMortgage
ConventionalMortgage(conventional mortgage)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1553-1554
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9961-9961
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1552-1552 Conventional mortgage is a subclass of mortgage

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1535-1535 FHA loan is disjoint from conventional mortgage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17094-17094
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17093-17093
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17092-17092

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1556-1561


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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