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
Il numero 1 argomenti di
lender
è un
istanza
di
Loan
(
domain
lender
2
CognitiveAgent
)
FinancialOntology.kif 1287-1287
Il numero 2 argomenti di
lender
è un
istanza
di
AgenteCognitivo
(
instance
lender
BinaryPredicate
)
FinancialOntology.kif 1285-1285
lender
è un'
istanza
di
PredicatoBinario
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
lender
è una
sottorelazione
di
partyToAgreement
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
borrower
Loan
and
AgenteCognitivo
lender
Loan
and
AgenteCognitivo
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
si
originas in
AgenteCognitivo
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1491-1495
Loan
è un'
istanza
di
BankTermLoan
lender
Loan
and
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
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
Loan
è un'
istanza
di
CallableLoan
lender
Loan
and
AgenteCognitivo
borrower
Loan
and
AgenteCognitivo
totalBalance
Loan
and
MisuraMonetaria
Processo
è un'
istanza
di
Call
Processo
è un
agente
di
AgenteCognitivo
Loan
è un
paziente
di
Processo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Loan
DayLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1567-1571
Loan
è un'
istanza
di
DayLoan
lender
Loan
and
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
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
Loan
è un'
istanza
di
Loan
securedBy
Loan
and
Collateral
lender
Loan
and
AgenteCognitivo
Processo
è un'
istanza
di
FinancialDefault
Loan
è un
paziente
di
Processo
AgenteCognitivo
possiede
es
Collateral
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
lender
?Loan ?Agent)
(
exists
(?Lending)
(
and
(
instance
?Lending
Lending
)
(
agent
?Lending ?Agent))))
FinancialOntology.kif 1291-1296
lender
Loan
and
AgenteCognitivo
Processo
Processo
è un'
istanza
di
DareInPrestito
Processo
è un
agente
di
AgenteCognitivo
consequent
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
Loan
è un'
istanza
di
Loan
AgenteCognitivo
AgenteCognitivo
borrower
Loan
and
AgenteCognitivo
lender
Loan
and
AgenteCognitivo
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
Entit�
è un'
istanza
di
PiggybankLoan
il numero di
istanzia
in la
classe
descritta da
Stringa
is
uguale
a 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
AgenteCognitivo
ha un
attributo
LoanCommitment
Loan
Agreement
and
Agreement
Loan
è un'
istanza
di
Loan
lender
Loan
and
Agreement
borrower
Loan
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
partyToAgreement
AgenteCognitivo
and
Agreement
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