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
AccountFn
Sigma KEE - AccountFn
AccountFn
appearance as argument number 1
(
documentation
AccountFn
EnglishLanguage
"A unary function that maps a
FinancialAsset
to the
FinancialAccount
associated with the Asset.")
FinancialOntology.kif 2318-2319
(
domain
AccountFn
1
FinancialAsset
)
FinancialOntology.kif 2316-2316
域
帳戶
, 1 and
金融資產
(
instance
AccountFn
UnaryFunction
)
FinancialOntology.kif 2315-2315
例
帳戶
and
UnaryFunction
(
range
AccountFn
FinancialAccount
)
FinancialOntology.kif 2317-2317
範圍
帳戶
and
金融賬戶
appearance as argument number 2
(
format
ChineseLanguage
AccountFn
"%1 的帐号")
domainEnglishFormat.kif 36-36
(
format
ChineseTraditionalLanguage
AccountFn
"%1 的帳號")
domainEnglishFormat.kif 35-35
(
format
EnglishLanguage
AccountFn
"the account of %1")
domainEnglishFormat.kif 34-34
(
termFormat
ChineseLanguage
AccountFn
"帐户")
domainEnglishFormat.kif 5244-5244
(
termFormat
ChineseTraditionalLanguage
AccountFn
"帳戶")
domainEnglishFormat.kif 5243-5243
(
termFormat
EnglishLanguage
AccountFn
"account")
domainEnglishFormat.kif 5242-5242
antecedent
(<=>
(
and
(
instance
?Account
FinancialAccount
)
(
possesses
?Agent ?Asset)
(
equal
?Account
(
AccountFn
?Asset)))
(
accountHolder
?Account ?Agent))
FinancialOntology.kif 2321-2326
例
金融賬戶
and
金融賬戶
擁有
CognitiveAgent
and
金融資產
等於
金融賬戶
and
金融資產
的帳號
CognitiveAgent
持有
account
金融賬戶
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
例
鍵
and
可贖回的債券
鍵
的帳號 對於 %3 的
current
帳戶存款
Day
是
鍵
的
call
日期
鍵
的帳號 對於
Day
到期的
amount
CurrencyMeasure
(=>
(
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
總額
consequent
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
例
鍵
and
鍵
利益
是
鍵
的
coupon
利息
擁有
鍵
Holder and
鍵
TimeDuration
Process
鍵
的帳號 是 對於
TimeDuration
的
periodic
費用
利益
目的地
Process
and
鍵
Holder
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
例
鍵
and
可贖回的債券
鍵
的帳號 對於 %3 的
current
帳戶存款
Day
是
鍵
的
call
日期
鍵
的帳號 對於
Day
到期的
amount
CurrencyMeasure
(=>
(
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
總額
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