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
Die Zahl 1 Argument von
lender
ist ein
fall
von
Loan
%n{nicht}
(
domain
lender
2
CognitiveAgent
)
FinancialOntology.kif 1287-1287
Die Zahl 2 Argument von
lender
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
lender
BinaryPredicate
)
FinancialOntology.kif 1285-1285
lender
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
lender
ist eine
teilrelation
von
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
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
?Loan
BankTermLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1491-1495
Wenn
Loan
ist ein
fall
von
BankTermLoan
%n{nicht} und
lender
** Loan
and
CognitiveAgent
,
dann
** CognitiveAgent
ist ein
fall
von
BankFinancialOrganization
%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
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1567-1571
Wenn
Loan
ist ein
fall
von
DayLoan
%n{nicht} und
lender
** Loan
and
CognitiveAgent
,
dann
** CognitiveAgent
ist ein
fall
von
BankFinancialOrganization
%n{nicht}
(=>
(
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
Wenn
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
lender
** Loan
and
CognitiveAgent
und
Process
ist ein
fall
von
FinancialDefault
%n{nicht} und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann
** CognitiveAgent
besitzt
** Collateral
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
lender
?Loan ?Agent)
(
exists
(?Lending)
(
and
(
instance
?Lending
Lending
)
(
agent
?Lending ?Agent))))
FinancialOntology.kif 1291-1296
Wenn
lender
Loan
and
CognitiveAgent
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Lending
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht}
consequent
(=>
(
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
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
Wenn
Entity
ist ein
fall
von
PiggybankLoan
%n{nicht},
dann die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt ist gleich 2 %n{nicht}
(=>
(
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