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
借款人
的 1 数量 是
贷款
的
instance
(
domain
borrower
2
CognitiveAgent
)
FinancialOntology.kif 1301-1301
借款人
的 2 数量 是
有认知的主事
的
instance
(
instance
borrower
BinaryPredicate
)
FinancialOntology.kif 1299-1299
借款人
是
二元谓语
的
instance
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
借款人
是
协议的一方
的
subrelation
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
和
另一个 有认知的主事
lends
那个 贷款
和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 有认知的主事
是
那个 金融交易
的源头 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 另外 有认知的主事
结束
(=>
(
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
如果
贷款
是
贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
和
实数
是
那个 贷款
的
principal
总额 和
时距
是
那个 贷款
的
agreement
週期 和
那个 贷款
是 对于 %3 的赚取
interest
和
另一个 实数
equal
(
那个 实数
和
利益
),
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
贷款
是
气球贷款
的
instance
和
日
是
那个 贷款
的
maturity
日期 和
货币测量
是
那个 贷款
的
total
存款 和
那个 贷款
是
有认知的主事
的
borrower
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
instance
?Loan
BrokerLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1513-1517
如果
贷款
是
经纪人贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
,
然后
经纪人
是
那个 有认知的主事
的
attribute
(=>
(
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
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1573-1577
如果
贷款
是
一天的贷款
的
instance
和
那个 贷款
是
有认知的主事
的
borrower
,
然后
经纪人
是
那个 有认知的主事
的
attribute
(=>
(
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
如果
过程
是
再融资
的
instance
和
那个 过程
在
日
是 存在 和
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
那个 贷款
是
有认知的主事
的
borrower
和
那个 贷款
对于 %3 的
current
帐户存款 和
那个 贷款
是
那个 过程
的
patient
,
然后 有存在
另一个 贷款
和
金融交易
这样
那个 另外 贷款
是
贷款
的
instance
和
那个 另外 贷款
是
那个 有认知的主事
的
borrower
和
那个 抵押
是
那个 贷款
的
secured
和
那个 金融交易
在
那个 贷款
的
currency
结束 和
那个 金融交易
在
那个 日
是 存在 和
那个 另外 贷款
的
currency
是
那个 金融交易
的源头 和
货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
borrower
?Loan ?Agent)
(
exists
(?Borrowing)
(
and
(
instance
?Borrowing
Borrowing
)
(
agent
?Borrowing ?Agent))))
FinancialOntology.kif 1304-1309
如果
贷款
是
有认知的主事
的
borrower
,
然后 有存在
过程
这样
那个 过程
是
借入
的
instance
和
那个 有认知的主事
是
那个 过程
的
agent
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
如果
过程
是
再融资
的
instance
和
那个 过程
在
日
是 存在 和
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
那个 贷款
是
有认知的主事
的
borrower
和
那个 贷款
对于 %3 的
current
帐户存款 和
那个 贷款
是
那个 过程
的
patient
,
然后 有存在
另一个 贷款
和
金融交易
这样
那个 另外 贷款
是
贷款
的
instance
和
那个 另外 贷款
是
那个 有认知的主事
的
borrower
和
那个 抵押
是
那个 贷款
的
secured
和
那个 金融交易
在
那个 贷款
的
currency
结束 和
那个 金融交易
在
那个 日
是 存在 和
那个 另外 贷款
的
currency
是
那个 金融交易
的源头 和
货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
如果
贷款
是
贷款
的
instance
,
然后 有存在
有认知的主事
和
另一个 有认知的主事
这样
那个 贷款
是
那个 有认知的主事
的
borrower
和
那个 另外 有认知的主事
lends
那个 贷款
(=>
(
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