Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - FHALoan
FHALoan
(FHA loan)
appearance as argument number 1
(
disjoint
FHALoan
ConventionalMortgage
)
FinancialOntology.kif 1549-1549
FHA loan
is
disjoint
from
conventional mortgage
(
documentation
FHALoan
EnglishLanguage
"A government mortgage that is insured by the Federal Housing Administration (FHA).")
FinancialOntology.kif 1550-1551
FHA loan
is
disjoint
from
conventional mortgage
(
subclass
FHALoan
Mortgage
)
FinancialOntology.kif 1548-1548
FHA loan
is a
subclass
of
mortgage
appearance as argument number 2
(
termFormat
ChineseLanguage
FHALoan
"FHA贷款")
domainEnglishFormat.kif 23604-23604
(
termFormat
ChineseTraditionalLanguage
FHALoan
"FHA貸款")
domainEnglishFormat.kif 23603-23603
(
termFormat
EnglishLanguage
FHALoan
"FHA loan")
domainEnglishFormat.kif 23602-23602
antecedent
(=>
(
instance
?Loan
FHALoan
)
(
insured
?Loan
FederalHousingAdministration
))
FinancialOntology.kif 1553-1555
If
a proposition
is an
instance
of
FHA loan
,
then
federal housing administration
is an
insured
of
the proposition
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
