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
Die Zahl 1 Argument von
borrower
ist ein
fall
von
Loan
%n{nicht}
(
domain
borrower
2
CognitiveAgent
)
FinancialOntology.kif 1301-1301
Die Zahl 2 Argument von
borrower
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
borrower
BinaryPredicate
)
FinancialOntology.kif 1299-1299
borrower
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
borrower
ist eine
teilrelation
von
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
Wenn
borrower
Loan
and
CognitiveAgent
und
lender
** Loan
and
** CognitiveAgent
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
beginnet an
** CognitiveAgent
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** ** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** Loan
and
CognitiveAgent
und
principalAmount
** Loan
and
RealNumber
und
agreementPeriod
** Loan
and
TimeInterval
und
interestEarned
** Loan
,
Interest
and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** Interest
) %n{nicht},
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
BalloonLoan
%n{nicht} und
maturityDate
** Loan
and
Day
und
totalBalance
** Loan
and
CurrencyMeasure
und
borrower
** Loan
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Loan
BrokerLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1513-1517
Wenn
Loan
ist ein
fall
von
BrokerLoan
%n{nicht} und
borrower
** Loan
and
CognitiveAgent
,
dann
Broker
ist ein
attribut
von
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
CallableLoan
%n{nicht} und
lender
** Loan
and
CognitiveAgent
und
borrower
** Loan
and
** CognitiveAgent
und
totalBalance
** Loan
and
CurrencyMeasure
und
Process
ist ein
fall
von
Call
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann
** ** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Loan
DayLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1573-1577
Wenn
Loan
ist ein
fall
von
DayLoan
%n{nicht} und
borrower
** Loan
and
CognitiveAgent
,
dann
Broker
ist ein
attribut
von
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Refinancing
%n{nicht} und
** Process
besteht
waehrend
Day
%n{nicht} und
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
borrower
** Loan
and
CognitiveAgent
und
currentAccountBalance
** Loan
,
** Day
and
CurrencyMeasure
und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Loan
und
FinancialTransaction
um
** ** Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** ** Loan
and
** CognitiveAgent
und
securedBy
** Loan
and
** Collateral
und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht} und
** FinancialTransaction
besteht
waehrend
** Day
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** ** Loan
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
borrower
?Loan ?Agent)
(
exists
(?Borrowing)
(
and
(
instance
?Borrowing
Borrowing
)
(
agent
?Borrowing ?Agent))))
FinancialOntology.kif 1304-1309
Wenn
borrower
Loan
and
CognitiveAgent
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Borrowing
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht}
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
Wenn
Process
ist ein
fall
von
Refinancing
%n{nicht} und
** Process
besteht
waehrend
Day
%n{nicht} und
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
borrower
** Loan
and
CognitiveAgent
und
currentAccountBalance
** Loan
,
** Day
and
CurrencyMeasure
und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Loan
und
FinancialTransaction
um
** ** Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** ** Loan
and
** CognitiveAgent
und
securedBy
** Loan
and
** Collateral
und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht} und
** FinancialTransaction
besteht
waehrend
** Day
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** ** Loan
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht},
dann es gibt
CognitiveAgent
und
** CognitiveAgent
um
borrower
** Loan
and
** CognitiveAgent
und
lender
** Loan
and
** ** CognitiveAgent
(=>
(
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
Wenn
CognitiveAgent
hat ein
attribut
LoanCommitment
%n{nicht},
dann es gibt
Loan
,
Agreement
, and und
** Agreement
um
** Loan
ist ein
fall
von
Loan
%n{nicht} und
lender
** Loan
and
** Agreement
und
borrower
** Loan
and
** ** Agreement
und
partyToAgreement
** CognitiveAgent
and
** Agreement
und
partyToAgreement
** CognitiveAgent
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