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
Le nombre 1 argument de
borrower
est une
instance
de
Loan
(
domain
borrower
2
CognitiveAgent
)
FinancialOntology.kif 1301-1301
Le nombre 2 argument de
borrower
est une
instance
de
agent cognitif
(
instance
borrower
BinaryPredicate
)
FinancialOntology.kif 1299-1299
borrower
est une
instance
de
pr�dicat binaire
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
est une
sous
-relation de
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
agent cognitif
lender
Loan
and
agent cognitif
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
financial transaction
financial transaction
a pour
origine
agent cognitif
transactionAmount
financial transaction
and
Interest
financial transaction
aboutit
�
agent cognitif
(=>
(
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
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
principalAmount
Loan
and
nombre r�el
agreementPeriod
Loan
and
interval temporel
interestEarned
Loan
,
Interest
and
interval temporel
nombre r�el
est
nombre r�el
+
Interest
)
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
est une
instance
de
BalloonLoan
maturityDate
Loan
and
jour
totalBalance
Loan
and
mesure de devise
borrower
Loan
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Loan
BrokerLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1513-1517
Loan
est une
instance
de
BrokerLoan
borrower
Loan
and
agent cognitif
Broker
est un
attribut
de
agent cognitif
(=>
(
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
est une
instance
de
CallableLoan
lender
Loan
and
agent cognitif
borrower
Loan
and
agent cognitif
totalBalance
Loan
and
mesure de devise
processus
est une
instance
de
Call
processus
est un
agent
de
agent cognitif
Loan
est un
patient
de
processus
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
and
(
instance
?Loan
DayLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1573-1577
Loan
est une
instance
de
DayLoan
borrower
Loan
and
agent cognitif
Broker
est un
attribut
de
agent cognitif
(=>
(
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
Processus
est une
instance
de
Refinancing
processus
existe
pendant
jour
Loan
est une
instance
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
agent cognitif
currentAccountBalance
Loan
,
jour
and
mesure de devise
Loan
est un
patient
de
processus
Loan
financial transaction
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
securedBy
Loan
and
Collateral
financial transaction
aboutit
�
CurrencyFn
Loan
financial transaction
existe
pendant
jour
financial transaction
a pour
origine
CurrencyFn
Loan
transactionAmount
financial transaction
and
mesure de devise
(=>
(
borrower
?Loan ?Agent)
(
exists
(?Borrowing)
(
and
(
instance
?Borrowing
Borrowing
)
(
agent
?Borrowing ?Agent))))
FinancialOntology.kif 1304-1309
borrower
Loan
and
agent cognitif
processus
processus
est une
instance
de
emprunter
processus
est un
agent
de
agent cognitif
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
Processus
est une
instance
de
Refinancing
processus
existe
pendant
jour
Loan
est une
instance
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
agent cognitif
currentAccountBalance
Loan
,
jour
and
mesure de devise
Loan
est un
patient
de
processus
Loan
financial transaction
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
securedBy
Loan
and
Collateral
financial transaction
aboutit
�
CurrencyFn
Loan
financial transaction
existe
pendant
jour
financial transaction
a pour
origine
CurrencyFn
Loan
transactionAmount
financial transaction
and
mesure de devise
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
Loan
est une
instance
de
Loan
agent cognitif
agent cognitif
borrower
Loan
and
agent cognitif
lender
Loan
and
agent cognitif
(=>
(
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
Agent cognitif
a un
attribute
LoanCommitment
Loan
Agreement
and
Agreement
Loan
est une
instance
de
Loan
lender
Loan
and
Agreement
borrower
Loan
and
Agreement
partyToAgreement
agent cognitif
and
Agreement
partyToAgreement
agent cognitif
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