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
borrower
Sigma KEE - borrower
borrower
appearance as argument number 1
(
documentation
borrower
EnglishLanguage
"(
borrower
?Loan ?Agent) means that ?Agent is a borrower of the ?Loan")
FinancialOntology.kif 1302-1302
(
domain
borrower
1
Loan
)
FinancialOntology.kif 1300-1300
The number 1 argument of
borrower
is an
instance
of
loan
(
domain
borrower
2
CognitiveAgent
)
FinancialOntology.kif 1301-1301
The number 2 argument of
borrower
is an
instance
of
cognitive agent
(
instance
borrower
BinaryPredicate
)
FinancialOntology.kif 1299-1299
borrower
is an
instance
of
binary predicate
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
is a
subrelation
of
party to agreement
appearance as argument number 2
(
format
ChineseLanguage
borrower
"%1 是 %2 的
borrower
")
domainEnglishFormat.kif 2910-2910
(
format
ChineseTraditionalLanguage
borrower
"%1 是 %2 的
borrower
")
domainEnglishFormat.kif 2909-2909
(
format
EnglishLanguage
borrower
"%1 is the
borrower
of %2")
domainEnglishFormat.kif 2908-2908
(
termFormat
ChineseLanguage
borrower
"借款人")
domainEnglishFormat.kif 11681-11681
(
termFormat
ChineseTraditionalLanguage
borrower
"借款人")
domainEnglishFormat.kif 11680-11680
(
termFormat
EnglishLanguage
borrower
"borrower")
domainEnglishFormat.kif 11679-11679
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
?Account
Loan
)
(
borrower
?Account ?Agent)
(
principalAmount
?Account ?Principal)
(
agreementPeriod
?Account ?Period)
(
interestEarned
?Account ?Interest ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
holdsObligation
(
KappaFn
?Payment
(
transactionAmount
?Payment ?Total)) ?Agent))
FinancialOntology.kif 1273-1282
If
a loan
is an
instance
of
loan
and
the loan
is the
borrower
of
a cognitive agent
and
a real number
is a
principal
amount of
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
and
another real number
is
equal
to (
the real number
and
the interest
),
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
If
a loan
is an
instance
of
balloon loan
and
a day
is a
maturity
date of
the loan
and
a currency measure
is a
total
balance of
the loan
and
the loan
is the
borrower
of
a cognitive agent
,
then
the cognitive agent
is
obliged
to perform tasks of type the
class
described by
a symbolic string
(=>
(
and
(
instance
?Loan
BrokerLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1513-1517
If
a loan
is an
instance
of
broker loan
and
the loan
is the
borrower
of
a cognitive agent
,
then
broker
is an
attribute
of
the cognitive agent
(=>
(
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
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1573-1577
If
a loan
is an
instance
of
day loan
and
the loan
is the
borrower
of
a cognitive agent
,
then
broker
is an
attribute
of
the cognitive agent
(=>
(
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
(=>
(
borrower
?Loan ?Agent)
(
exists
(?Borrowing)
(
and
(
instance
?Borrowing
Borrowing
)
(
agent
?Borrowing ?Agent))))
FinancialOntology.kif 1304-1309
If
a loan
is the
borrower
of
a cognitive agent
,
then there exists
a process
such that
the process
is an
instance
of
borrowing
and
the cognitive agent
is an
agent
of
the process
consequent
(=>
(
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
?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
(=>
(
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