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
Il numero 1 argomenti di
borrower
è un
istanza
di
Loan
(
domain
borrower
2
CognitiveAgent
)
FinancialOntology.kif 1301-1301
Il numero 2 argomenti di
borrower
è un
istanza
di
AgenteCognitivo
(
instance
borrower
BinaryPredicate
)
FinancialOntology.kif 1299-1299
borrower
è un'
istanza
di
PredicatoBinario
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
è una
sottorelazione
di
partyToAgreement
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
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
?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
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
principalAmount
Loan
and
NumeroReale
agreementPeriod
Loan
and
IntervalloTemporale
interestEarned
Loan
,
Interest
and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
Interest
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
Loan
è un'
istanza
di
BalloonLoan
maturityDate
Loan
and
Giorno
totalBalance
Loan
and
MisuraMonetaria
borrower
Loan
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Loan
BrokerLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1513-1517
Loan
è un'
istanza
di
BrokerLoan
borrower
Loan
and
AgenteCognitivo
attribute
AgenteCognitivo
and
Broker
(=>
(
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
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1573-1577
Loan
è un'
istanza
di
DayLoan
borrower
Loan
and
AgenteCognitivo
attribute
AgenteCognitivo
and
Broker
(=>
(
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
Processo
è un'
istanza
di
Refinancing
Processo
esistes
durante
Giorno
Loan
è un'
istanza
di
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
AgenteCognitivo
currentAccountBalance
Loan
,
Giorno
and
MisuraMonetaria
Loan
è un
paziente
di
Processo
Loan
ScambioFinanziario
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
securedBy
Loan
and
Collateral
ScambioFinanziario
fine
s in
CurrencyFn
Loan
ScambioFinanziario
esistes
durante
Giorno
ScambioFinanziario
si
originas in
CurrencyFn
Loan
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
borrower
?Loan ?Agent)
(
exists
(?Borrowing)
(
and
(
instance
?Borrowing
Borrowing
)
(
agent
?Borrowing ?Agent))))
FinancialOntology.kif 1304-1309
borrower
Loan
and
AgenteCognitivo
Processo
Processo
è un'
istanza
di
PrendereInPrestito
Processo
è un
agente
di
AgenteCognitivo
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
Processo
è un'
istanza
di
Refinancing
Processo
esistes
durante
Giorno
Loan
è un'
istanza
di
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
AgenteCognitivo
currentAccountBalance
Loan
,
Giorno
and
MisuraMonetaria
Loan
è un
paziente
di
Processo
Loan
ScambioFinanziario
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
securedBy
Loan
and
Collateral
ScambioFinanziario
fine
s in
CurrencyFn
Loan
ScambioFinanziario
esistes
durante
Giorno
ScambioFinanziario
si
originas in
CurrencyFn
Loan
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
(=>
(
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