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
securedBy
Sigma KEE - securedBy
securedBy
appearance as argument number 1
(
documentation
securedBy
EnglishLanguage
"Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault.")
FinancialOntology.kif 1328-1329
(
domain
securedBy
1
FinancialAccount
)
FinancialOntology.kif 1331-1331
The number 1 argument of
secured by
is an
instance
of
financial account
(
domain
securedBy
2
Collateral
)
FinancialOntology.kif 1332-1332
The number 2 argument of
secured by
is an
instance
of
collateral
(
instance
securedBy
BinaryPredicate
)
FinancialOntology.kif 1330-1330
secured by
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
securedBy
"%2 %n 是 %1 的 secured ")
domainEnglishFormat.kif 2243-2243
(
format
ChineseTraditionalLanguage
securedBy
"%2 %n 是 %1 的 secured ")
domainEnglishFormat.kif 2242-2242
(
format
EnglishLanguage
securedBy
"%2 is %n a secured by of %1")
domainEnglishFormat.kif 2241-2241
(
termFormat
ChineseLanguage
securedBy
"担保由")
domainEnglishFormat.kif 51881-51881
(
termFormat
ChineseTraditionalLanguage
securedBy
"擔保由")
domainEnglishFormat.kif 51880-51880
(
termFormat
EnglishLanguage
securedBy
"secured by")
domainEnglishFormat.kif 51879-51879
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 2397-2406
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 1334-1343
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
(=>
(
and
(
instance
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
If
a process
is an
instance
of
refinancing
and
the process
exists
during
a day
and
a loan
is an
instance
of
loan
and
a collateral
is a
secured
by of
the loan
and
the loan
is the
borrower
of
a cognitive agent
and
the loan
current
account balance
the day
for
a currency measure
and
the loan
is a
patient
of
the process
,
then there exist
another loan
and
a financial transaction
such that
the other loan
is an
instance
of
loan
and
the other loan
is the
borrower
of
the cognitive agent
and
the collateral
is a
secured
by of
the loan
and
the financial transaction
end
s up at the
currency
of
the loan
and
the financial transaction
exists
during
the day
and
the financial transaction
originate
s at the
currency
of
the other loan
and
the currency measure
is a
transaction
amount of
the financial transaction
consequent
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
A collateral
is an
instance
of
collateral
if and only if there exists
a financial account
such that
the financial account
is an
instance
of
secured loan
and
the collateral
is a
secured
by of
the financial account
(<=>
(
instance
?Loan
SecuredLoan
)
(
exists
(?Security)
(
securedBy
?Loan ?Security)))
FinancialOntology.kif 1348-1351
A financial account
is an
instance
of
secured loan
if and only if there exists
a collateral
such that
the collateral
is a
secured
by of
the financial account
(=>
(
and
(
instance
?Loan
Mortgage
)
(
loanForPurchase
?Loan ?RealEstate))
(
securedBy
?Loan ?RealEstate))
FinancialOntology.kif 1387-1391
If
a loan
is an
instance
of
mortgage
and
an object
is a
loan
for purchase of
the loan
,
then
the object
is a
secured
by of
the loan
(=>
(
and
(
instance
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
If
a process
is an
instance
of
refinancing
and
the process
exists
during
a day
and
a loan
is an
instance
of
loan
and
a collateral
is a
secured
by of
the loan
and
the loan
is the
borrower
of
a cognitive agent
and
the loan
current
account balance
the day
for
a currency measure
and
the loan
is a
patient
of
the process
,
then there exist
another loan
and
a financial transaction
such that
the other loan
is an
instance
of
loan
and
the other loan
is the
borrower
of
the cognitive agent
and
the collateral
is a
secured
by of
the loan
and
the financial transaction
end
s up at the
currency
of
the loan
and
the financial transaction
exists
during
the day
and
the financial transaction
originate
s at the
currency
of
the other loan
and
the currency measure
is a
transaction
amount of
the financial transaction
(=>
(
instance
?Bond
SecuredBond
)
(
exists
(?Security)
(
securedBy
?Bond ?Security)))
FinancialOntology.kif 2392-2395
If
a financial account
is an
instance
of
secured bond
,
then there exists
a collateral
such that
the collateral
is a
secured
by of
the financial account
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