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
securedBy
の数値 1 引数は
FinancialAccount
の
instance
では %n
(
domain
securedBy
2
Collateral
)
FinancialOntology.kif 1332-1332
securedBy
の数値 2 引数は
Collateral
の
instance
では %n
(
instance
securedBy
BinaryPredicate
)
FinancialOntology.kif 1330-1330
securedBy
は
2進述語
の
instance
では %n
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
FinancialAccount
は
SecuredBond
の
instance
では %n
securedBy
FinancialAccount
and
Collateral
AutonomousAgent
は
FinancialAccount
を
possess
es %n{ない}
工程
は
FinancialDefault
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
AutonomousAgent
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
Loan
は
Loan
の
instance
では %n
securedBy
Loan
and
Collateral
lender
Loan
and
認識エージェント
工程
は
FinancialDefault
の
instance
では %n
Loan
は
工程
の
patient
では %n
認識エージェント
は
Collateral
を
possess
es %n{ない} は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
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
工程
は
Refinancing
の
instance
では %n
工程
は
日
の
during
exists %n{ない}
Loan
は
Loan
の
instance
では %n
securedBy
Loan
and
Collateral
borrower
Loan
and
認識エージェント
currentAccountBalance
Loan
,
日
and
通貨測定
Loan
は
工程
の
patient
では %n
Loan
金融取引
Loan
は
Loan
の
instance
では %n
borrower
Loan
and
認識エージェント
securedBy
Loan
and
Collateral
金融取引
は
CurrencyFn
Loan
に
end
s %n{ない}
金融取引
は
日
の
during
exists %n{ない}
金融取引
は
CurrencyFn
Loan
から
originate
s %n{ない}
transactionAmount
金融取引
and
通貨測定
consequent
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
Collateral
は
Collateral
の
instance
では %n
FinancialAccount
FinancialAccount
は
SecuredLoan
の
instance
では %n
securedBy
FinancialAccount
and
Collateral
(<=>
(
instance
?Loan
SecuredLoan
)
(
exists
(?Security)
(
securedBy
?Loan ?Security)))
FinancialOntology.kif 1348-1351
FinancialAccount
は
SecuredLoan
の
instance
では %n
Collateral
securedBy
FinancialAccount
and
Collateral
(=>
(
and
(
instance
?Loan
Mortgage
)
(
loanForPurchase
?Loan ?RealEstate))
(
securedBy
?Loan ?RealEstate))
FinancialOntology.kif 1387-1391
Loan
は
Mortgage
の
instance
では %n
loanForPurchase
Loan
and
オブジェクト
securedBy
Loan
and
オブジェクト
(=>
(
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
工程
は
Refinancing
の
instance
では %n
工程
は
日
の
during
exists %n{ない}
Loan
は
Loan
の
instance
では %n
securedBy
Loan
and
Collateral
borrower
Loan
and
認識エージェント
currentAccountBalance
Loan
,
日
and
通貨測定
Loan
は
工程
の
patient
では %n
Loan
金融取引
Loan
は
Loan
の
instance
では %n
borrower
Loan
and
認識エージェント
securedBy
Loan
and
Collateral
金融取引
は
CurrencyFn
Loan
に
end
s %n{ない}
金融取引
は
日
の
during
exists %n{ない}
金融取引
は
CurrencyFn
Loan
から
originate
s %n{ない}
transactionAmount
金融取引
and
通貨測定
(=>
(
instance
?Bond
SecuredBond
)
(
exists
(?Security)
(
securedBy
?Bond ?Security)))
FinancialOntology.kif 2392-2395
FinancialAccount
は
SecuredBond
の
instance
では %n
Collateral
securedBy
FinancialAccount
and
Collateral
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