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
lender
Sigma KEE - lender
lender
appearance as argument number 1
(
documentation
lender
EnglishLanguage
"(
lender
?Loan ?Agent) means that ?Agent is a private, public or institutional entity that put up the funds for the ?Loan.")
FinancialOntology.kif 1288-1289
(
domain
lender
1
Loan
)
FinancialOntology.kif 1286-1286
The number 1 argument of
lender
is an
instance
of
loan
(
domain
lender
2
CognitiveAgent
)
FinancialOntology.kif 1287-1287
The number 2 argument of
lender
is an
instance
of
cognitive agent
(
instance
lender
BinaryPredicate
)
FinancialOntology.kif 1285-1285
lender
is an
instance
of
binary predicate
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
lender
is a
subrelation
of
party to agreement
appearance as argument number 2
(
format
ChineseLanguage
lender
"%2 lends %1 ")
domainEnglishFormat.kif 3738-3738
(
format
ChineseTraditionalLanguage
lender
"%2 lends %1 ")
domainEnglishFormat.kif 3737-3737
(
format
EnglishLanguage
lender
"%2 lends %1")
domainEnglishFormat.kif 3736-3736
(
termFormat
ChineseLanguage
lender
"贷款人")
domainEnglishFormat.kif 33953-33953
(
termFormat
ChineseTraditionalLanguage
lender
"貸款人")
domainEnglishFormat.kif 33952-33952
(
termFormat
EnglishLanguage
lender
"lender")
domainEnglishFormat.kif 33951-33951
antecedent
(=>
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Borrower)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Lender))))
FinancialOntology.kif 1261-1271
If
a loan
is the
borrower
of
a cognitive agent
and
another cognitive agent
lends
the loan
and
a time interval
is an
agreement
period of
the loan
and
the loan
is
interest
earned
an interest
for
the time interval
,
then there exists
a financial transaction
such that
the financial transaction
originate
s at
the cognitive agent
and
the interest
is a
transaction
amount of
the financial transaction
and
the financial transaction
end
s up at
the other cognitive agent
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1491-1495
If
a loan
is an
instance
of
bank term loan
and
a cognitive agent
lends
the loan
,
then
the cognitive agent
is an
instance
of
BankFinancialOrganization
(=>
(
and
(
instance
?Loan
CallableLoan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
totalBalance
?Loan ?Amount)
(
instance
?Call
Call
)
(
agent
?Call ?Lender)
(
patient
?Call ?Loan))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
destination
?Payment ?Lender)
(
time
?Payment
(
ImmediateFutureFn
(
WhenFn
?Call)))
(
transactionAmount
?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1428-1443
If
a loan
is an
instance
of
callable loan
and
a cognitive agent
lends
the loan
and
the loan
is the
borrower
of
another cognitive agent
and
a currency measure
is a
total
balance of
the loan
and
a process
is an
instance
of
call
and
the cognitive agent
is an
agent
of
the process
and
the loan
is a
patient
of
the process
,
then
the other cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?Loan
DayLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1567-1571
If
a loan
is an
instance
of
day loan
and
a cognitive agent
lends
the loan
,
then
the cognitive agent
is an
instance
of
BankFinancialOrganization
(=>
(
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
(=>
(
lender
?Loan ?Agent)
(
exists
(?Lending)
(
and
(
instance
?Lending
Lending
)
(
agent
?Lending ?Agent))))
FinancialOntology.kif 1291-1296
If
a cognitive agent
lends
a loan
,
then there exists
a process
such that
the process
is an
instance
of
lending
and
the cognitive agent
is an
agent
of
the process
consequent
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
If
a loan
is an
instance
of
loan
,
then there exist
a cognitive agent
and
another cognitive agent
such that
the loan
is the
borrower
of
the cognitive agent
and
the other cognitive agent
lends
the loan
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
If
an entity
is an
instance
of
piggybank loan
,
then the number of
instances
in the
class
described by
a symbolic string
is
equal
to 2
(=>
(
property
?Commitment
LoanCommitment
)
(
exists
(?Loan ?Lender ?Borrower)
(
and
(
instance
?Loan
Loan
)
(
lender
?Loan ?Lender)
(
borrower
?Loan ?Borrower)
(
partyToAgreement
?Commitment ?Lender)
(
partyToAgreement
?Commitment ?Borrower))))
FinancialOntology.kif 1473-1481
If
a cognitive agent
the
attribute
loan commitment
,
then there exist
a loan
,
an agreement
and
another agreement
such that
the loan
is an
instance
of
loan
and
the agreement
lends
the loan
and
the loan
is the
borrower
of
the other agreement
and
the agreement
is a
party
to agreement of
the cognitive agent
and
the other agreement
is a
party
to agreement of
the cognitive agent
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