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
securedBy
Sigma KEE - securedBy
securedBy
appearance as argument number 1
(
documentation
securedBy
EnglishLanguage
"Assets pledged by a borrower to secure a loan or other credit, and subject to seizure in the event of FinancialDefault.")
FinancialOntology.kif 1328-1329
(
domain
securedBy
1
FinancialAccount
)
FinancialOntology.kif 1331-1331
担保由
的 1 数量 是
金融账户
的
instance
(
domain
securedBy
2
Collateral
)
FinancialOntology.kif 1332-1332
担保由
的 2 数量 是
抵押
的
instance
(
instance
securedBy
BinaryPredicate
)
FinancialOntology.kif 1330-1330
担保由
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
securedBy
"%2 %n 是 %1 的 secured ")
domainEnglishFormat.kif 2243-2243
(
format
ChineseTraditionalLanguage
securedBy
"%2 %n 是 %1 的 secured ")
domainEnglishFormat.kif 2242-2242
(
format
EnglishLanguage
securedBy
"%2 is %n a secured by of %1")
domainEnglishFormat.kif 2241-2241
(
termFormat
ChineseLanguage
securedBy
"担保由")
domainEnglishFormat.kif 51879-51879
(
termFormat
ChineseTraditionalLanguage
securedBy
"擔保由")
domainEnglishFormat.kif 51878-51878
(
termFormat
EnglishLanguage
securedBy
"secured by")
domainEnglishFormat.kif 51877-51877
antecedent
(=>
(
and
(
instance
?Bond
SecuredBond
)
(
securedBy
?Bond ?Security)
(
possesses
?Agent ?Bond)
(
instance
?Default
FinancialDefault
)
(
patient
?Default ?Bond))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Default))
(
possesses
?Agent ?Security)))
FinancialOntology.kif 2397-2406
如果
金融账户
是
担保债券
的
instance
和
抵押
是
那个 金融账户
的
secured
和
施事体
possesses
那个 金融账户
和
过程
是
财务违约
的
instance
和
那个 金融账户
是
那个 过程
的
patient
,
然后
那个 施事体
possesses
那个 抵押
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
(=>
(
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
总额
consequent
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
抵押
是
抵押
的
instance
若且唯若 有存在
金融账户
这样
那个 金融账户
是
担保贷款
的
instance
和
那个 抵押
是
那个 金融账户
的
secured
(<=>
(
instance
?Loan
SecuredLoan
)
(
exists
(?Security)
(
securedBy
?Loan ?Security)))
FinancialOntology.kif 1348-1351
金融账户
是
担保贷款
的
instance
若且唯若 有存在
抵押
这样
那个 抵押
是
那个 金融账户
的
secured
(=>
(
and
(
instance
?Loan
Mortgage
)
(
loanForPurchase
?Loan ?RealEstate))
(
securedBy
?Loan ?RealEstate))
FinancialOntology.kif 1387-1391
如果
贷款
是
抵押
的
instance
和
客体
是给
那个 贷款
购买的
loan
,
然后
那个 客体
是
那个 贷款
的
secured
(=>
(
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
?Bond
SecuredBond
)
(
exists
(?Security)
(
securedBy
?Bond ?Security)))
FinancialOntology.kif 2392-2395
如果
金融账户
是
担保债券
的
instance
,
然后 有存在
抵押
这样
那个 抵押
是
那个 金融账户
的
secured
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