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
interestEarned
Sigma KEE - interestEarned
interestEarned
appearance as argument number 1
(
documentation
interestEarned
EnglishLanguage
"(
interestEarned
?Account ?Interest ?Period) means that ?Interest is the amount earned on the
FinancialAccount
?Account, for the duration ?Period.")
FinancialOntology.kif 525-527
(
domain
interestEarned
1
FinancialAccount
)
FinancialOntology.kif 522-522
域
利息收入
, 1 and
金融賬戶
(
domain
interestEarned
2
Interest
)
FinancialOntology.kif 523-523
域
利息收入
, 2 and
利益
(
domain
interestEarned
3
TimeInterval
)
FinancialOntology.kif 524-524
域
利息收入
, 3 and
TimeInterval
(
instance
interestEarned
TernaryPredicate
)
FinancialOntology.kif 521-521
例
利息收入
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
interestEarned
"%1 %n 是 对于 %3 的赚取 interest ")
domainEnglishFormat.kif 1361-1361
(
format
ChineseTraditionalLanguage
interestEarned
"%1 %n 是 對於 %3 的賺取 interest ")
domainEnglishFormat.kif 1360-1360
(
format
EnglishLanguage
interestEarned
"%1 is %n interest earned %2 for %3")
domainEnglishFormat.kif 1359-1359
(
subrelation
compoundInterest
interestEarned
)
FinancialOntology.kif 551-551
子關係
複利
and
利息收入
(
subrelation
simpleInterest
interestEarned
)
FinancialOntology.kif 530-530
子關係
單純的興趣
and
利息收入
(
termFormat
ChineseLanguage
interestEarned
"利息收入")
domainEnglishFormat.kif 30409-30409
(
termFormat
ChineseTraditionalLanguage
interestEarned
"利息收入")
domainEnglishFormat.kif 30408-30408
(
termFormat
EnglishLanguage
interestEarned
"interest earned")
domainEnglishFormat.kif 30407-30407
antecedent
(<=>
(
exists
(?Period)
(
and
(
instance
?Loan
Loan
)
(
agreementPeriod
?Loan ?Period)
(
interestEarned
?Loan ?Amount ?Period)))
(
loanInterest
?Loan ?Amount))
FinancialOntology.kif 3920-3926
TimeInterval
例
貸款
and
貸款
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
利益
是
貸款
的
loan
利息
(=>
(
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
CreditAccount
)
(
accountAt
?Account ?Organization)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
origin
?Payment ?Agent)
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Organization))))
FinancialOntology.kif 1212-1222
例
金融賬戶
and
信用賬戶
金融賬戶
是被
金融機構
held
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
起源
FinancialTransaction
and
CognitiveAgent
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融機構
(=>
(
and
(
instance
?Account
CreditAccount
)
(
accountHolder
?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 1224-1233
例
金融賬戶
and
信用賬戶
CognitiveAgent
持有
account
金融賬戶
RealNumber
是
金融賬戶
的
principal
總額
TimeInterval
是
金融賬戶
的
agreement
週期
金融賬戶
是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
利益
持有義務
卡帕
SymbolicString
and
RealNumber
是
SymbolicString
的
transaction
總額 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
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
FinancialOntology.kif 1043-1052
例
金融賬戶
and
儲蓄賬戶
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
目的地
FinancialTransaction
and
金融賬戶
的
currency
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
例
金融資產
and
零息債券
Day
是
金融資產
的帳號 的
maturity
日期
擁有
金融資產
Holder and
金融資產
測量
RealNumber
and
UnitOfMeasure
是
金融資產
的帳號 的
principal
總額
TimeInterval
是
金融資產
的帳號 的
agreement
週期
金融資產
的帳號 是 對於 %3 的賺取
interest
等於
RealNumber
and
加成
RealNumber
and
RealNumber
FinancialTransaction
例
FinancialTransaction
and
付款
目的地
FinancialTransaction
and
金融資產
Holder
起源
FinancialTransaction
and
金融資產
的帳號
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
(=>
(
and
(
instance
?Loan
InterestOnlyLoan
)
(
agreementPeriod
?Loan ?Period)
(
principalAmount
?Loan ?Principal)
(
interestEarned
?Loan ?Interest ?Period))
(
and
(
amountDue
?Loan ?Principal
(
EndFn
?Period))
(
amountDue
?Loan ?Interest ?Date)
(
before
(
EndFn
?Date)
(
EndFn
?Period))))
FinancialOntology.kif 1615-1624
例
金融賬戶
and
僅利息貸款
TimeInterval
是
金融賬戶
的
agreement
週期
CurrencyMeasure
是
金融賬戶
的
principal
總額
金融賬戶
是 對於 %3 的賺取
interest
金融賬戶
對於
結束
TimeInterval
到期的
amount
CurrencyMeasure
金融賬戶
對於
TimeInterval
到期的
amount
利益
之前
結束
TimeInterval
and
結束
TimeInterval
consequent
(=>
(
and
(
loanFeeAmount
?Loan ?Amount)
(
agreementPeriod
?Loan ?Period))
(
interestEarned
?Loan ?Amount ?Period))
FinancialOntology.kif 4162-4166
利益
是
貸款
的
loan
金額
TimeInterval
是
貸款
的
agreement
週期
貸款
是 對於 %3 的賺取
interest
(=>
(
and
(
statementInterest
?Statement ?Interest)
(
statementPeriod
?Statement ?Period)
(
statementAccount
?Statement ?Account))
(
interestEarned
?Account ?Interest ?Period))
FinancialOntology.kif 4082-4087
利益
是
銀行對帳單
的
statement
利息
TimeInterval
是
銀行對帳單
的
statement
週期
金融賬戶
是
銀行對帳單
的
statement
帳號
金融賬戶
是 對於 %3 的賺取
interest
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