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
贷款人
的 1 数量 是
贷款
的
instance
(
domain
lender
2
CognitiveAgent
)
FinancialOntology.kif 1287-1287
贷款人
的 2 数量 是
有认知的主事
的
instance
(
instance
lender
BinaryPredicate
)
FinancialOntology.kif 1285-1285
贷款人
是
二元谓语
的
instance
(
subrelation
lender
partyToAgreement
)
FinancialOntology.kif 1284-1284
贷款人
是
协议的一方
的
subrelation
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
和
另一个 有认知的主事
lends
那个 贷款
和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 有认知的主事
是
那个 金融交易
的源头 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 另外 有认知的主事
结束
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1491-1495
如果
贷款
是
银行定期贷款
的
instance
和
有认知的主事
lends
那个 贷款
,
然后
那个 有认知的主事
是
BankFinancialOrganization
的
instance
(=>
(
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
如果
贷款
是
可赎回贷款
的
instance
和
有认知的主事
lends
那个 贷款
和
那个 贷款
是
另一个 有认知的主事
的
borrower
和
货币测量
是
那个 贷款
的
total
存款 和
过程
是
呼叫
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 另外 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?Loan
DayLoan
)
(
lender
?Loan ?Lender))
(
instance
?Lender
BankFinancialOrganization
))
FinancialOntology.kif 1567-1571
如果
贷款
是
一天的贷款
的
instance
和
有认知的主事
lends
那个 贷款
,
然后
那个 有认知的主事
是
BankFinancialOrganization
的
instance
(=>
(
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
如果
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
有认知的主事
lends
那个 贷款
和
过程
是
财务违约
的
instance
和
那个 贷款
是
那个 过程
的
patient
,
然后
那个 有认知的主事
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
lender
?Loan ?Agent)
(
exists
(?Lending)
(
and
(
instance
?Lending
Lending
)
(
agent
?Lending ?Agent))))
FinancialOntology.kif 1291-1296
如果
有认知的主事
lends
贷款
,
然后 有存在
过程
这样
那个 过程
是
借出
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
consequent
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
如果
贷款
是
贷款
的
instance
,
然后 有存在
有认知的主事
和
另一个 有认知的主事
这样
那个 贷款
是
那个 有认知的主事
的
borrower
和
那个 另外 有认知的主事
lends
那个 贷款
(=>
(
instance
?Loan
PiggybankLoan
)
(
equal
(
CardinalityFn
(
KappaFn
?Lender
(
lender
?Loan ?Lender))) 2))
FinancialOntology.kif 1588-1590
如果
实体
是
储钱贷款
的
instance
,
然后
符号串
所描述的类别
instance
的数量
equal
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
如果
有认知的主事
有
贷款承诺
的
attribute
,
然后 有存在
贷款
,
协议
, and 和
另一个 协议
这样
那个 贷款
是
贷款
的
instance
和
那个 协议
lends
那个 贷款
和
那个 贷款
是
那个 另外 协议
的
borrower
和
那个 协议
是
那个 有认知的主事
的
party
协议 和
那个 另外 协议
是
那个 有认知的主事
的
party
协议
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