Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - FinancialDefault
FinancialDefault
(financial default)
financial_default
,
財務違約
,
财务违约
appearance as argument number 1
(
documentation
FinancialDefault
EnglishLanguage
"Failure to make required debt payments on a timely basis or to comply with other conditions of an obligation or agreement.")
FinancialOntology.kif 2077-2078
(
subclass
FinancialDefault
FinancialTransaction
)
FinancialOntology.kif 2076-2076
Financial default
is a
subclass
of
financial transaction
appearance as argument number 2
(
termFormat
ChineseLanguage
FinancialDefault
"财务违约")
domainEnglishFormat.kif 23701-23701
"财务违约" is the
printable
form
of
financial default
in
ChineseLanguage
(
termFormat
ChineseTraditionalLanguage
FinancialDefault
"財務違約")
domainEnglishFormat.kif 23700-23700
"財務違約" is the
printable
form
of
financial default
in
ChineseTraditionalLanguage
(
termFormat
EnglishLanguage
FinancialDefault
"financial default")
domainEnglishFormat.kif 23699-23699
"financial default" is the
printable
form
of
financial default
in
english language
antecedent
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2318-2327
If
a financial account
is an
instance
of
secured bond
and
a collateral
is a
secured
by of
the financial account
and
an agent
possess
es
the financial account
and
a process
is an
instance
of
financial default
and
the financial account
is a
patient
of
the process
,
then
the agent
possess
es
the collateral
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Security)
(
lender
?Loan ?Bank)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Loan))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Bank ?Security)))
FinancialOntology.kif 1275-1284
If
a loan
is an
instance
of
loan
and
a collateral
is a
secured
by of
the loan
and
a cognitive agent
lends
the loan
and
a process
is an
instance
of
financial default
and
the loan
is a
patient
of
the process
,
then
the cognitive agent
possess
es
the collateral
holds
during
immediately
after
the
time
of existence of
the process
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
