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
HoverBox
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 and
貸款
(
domain
borrower
2
CognitiveAgent
)
FinancialOntology.kif 1301-1301
域
借款人
, 2 and
CognitiveAgent
(
instance
borrower
BinaryPredicate
)
FinancialOntology.kif 1299-1299
例
借款人
and
BinaryPredicate
(
subrelation
borrower
partyToAgreement
)
FinancialOntology.kif 1298-1298
子關係
借款人
and
協議的一方
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
貸款
是
CognitiveAgent
的
borrower
CognitiveAgent
lends
貸款
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
FinancialTransaction
起源
FinancialTransaction
and
CognitiveAgent
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
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
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
RealNumber
是
貸款
的
principal
總額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
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
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
and
(
instance
?Loan
BrokerLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1513-1517
例
貸款
and
經紀人貸款
貸款
是
CognitiveAgent
的
borrower
attribute
CognitiveAgent
and
經紀人
(=>
(
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
例
貸款
and
可贖回貸款
CognitiveAgent
lends
貸款
貸款
是
CognitiveAgent
的
borrower
CurrencyMeasure
是
貸款
的
total
存款
例
Process
and
呼叫
agent
Process
and
CognitiveAgent
患者
Process
and
貸款
持有義務
卡帕
SymbolicString
and
目的地
SymbolicString
and
CognitiveAgent
時間
SymbolicString
and
眼前的未來
何時
Process
CurrencyMeasure
是
SymbolicString
的
transaction
總額 and
CognitiveAgent
(=>
(
and
(
instance
?Loan
DayLoan
)
(
borrower
?Loan ?Borrower))
(
attribute
?Borrower
Broker
))
FinancialOntology.kif 1573-1577
例
貸款
and
一天的貸款
貸款
是
CognitiveAgent
的
borrower
attribute
CognitiveAgent
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
例
Process
and
再融資
時間
Process
and
Day
例
貸款
and
貸款
抵押
是
貸款
的
secured
貸款
是
CognitiveAgent
的
borrower
貸款
對於 %3 的
current
帳戶存款
患者
Process
and
貸款
貸款
FinancialTransaction
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
抵押
是
貸款
的
secured
目的地
FinancialTransaction
and
貸款
的
currency
時間
FinancialTransaction
and
Day
起源
FinancialTransaction
and
貸款
的
currency
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
borrower
?Loan ?Agent)
(
exists
(?Borrowing)
(
and
(
instance
?Borrowing
Borrowing
)
(
agent
?Borrowing ?Agent))))
FinancialOntology.kif 1304-1309
貸款
是
CognitiveAgent
的
borrower
Process
例
Process
and
Borrowing
agent
Process
and
CognitiveAgent
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
例
Process
and
再融資
時間
Process
and
Day
例
貸款
and
貸款
抵押
是
貸款
的
secured
貸款
是
CognitiveAgent
的
borrower
貸款
對於 %3 的
current
帳戶存款
患者
Process
and
貸款
貸款
FinancialTransaction
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
抵押
是
貸款
的
secured
目的地
FinancialTransaction
and
貸款
的
currency
時間
FinancialTransaction
and
Day
起源
FinancialTransaction
and
貸款
的
currency
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
instance
?Loan
Loan
)
(
exists
(?Borrower ?Lender)
(
and
(
borrower
?Loan ?Borrower)
(
lender
?Loan ?Lender))))
FinancialOntology.kif 1254-1259
例
貸款
and
貸款
CognitiveAgent
CognitiveAgent
貸款
是
CognitiveAgent
的
borrower
CognitiveAgent
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
屬性
CognitiveAgent
and
貸款承諾
貸款
協議
and
協議
例
貸款
and
貸款
協議
lends
貸款
貸款
是
協議
的
borrower
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
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