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
(
domain
lender
2
CognitiveAgent
)
FinancialOntology.kif 1287-1287
(
instance
lender
BinaryPredicate
)
FinancialOntology.kif 1285-1285
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
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
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1491-1495
(=>
(
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
(=>
(
and
(
instance
?Loan
DayLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1567-1571
(=>
(
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
(=>
(
lender
?Loan ?Agent)
(
exists
(?Lending)
(
and
(
instance
?Lending
Lending
)
(
agent
?Lending ?Agent))))
FinancialOntology.kif 1291-1296
consequent
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
(=>
(
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
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