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
Le nombre 1 argument de
AccountFn
est une
instance
de
FinancialAsset
(
instance
AccountFn
UnaryFunction
)
FinancialOntology.kif 2315-2315
AccountFn
est une
instance
de
function unaire
(
range
AccountFn
FinancialAccount
)
FinancialOntology.kif 2317-2317
Le
domaine
de
AccountFn
est une instance de
FinancialAccount
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
FinancialAccount
est une
instance
de
FinancialAccount
agent cognitif
poss
�de
FinancialAsset
FinancialAccount
est
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
agent cognitif
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Bond
est une
instance
de
CallableBond
currentAccountBalance
AccountFn
Bond
,
jour
and
mesure de devise
callDate
Bond
and
jour
amountDue
AccountFn
Bond
,
mesure de devise
and
jour
(=>
(
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
FinancialAsset
est une
instance
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
jour
FinancialAsset
Holder
poss
�de
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
nombre r�el
unit� de mesure
(s)
agreementPeriod
AccountFn
FinancialAsset
and
interval temporel
interestEarned
AccountFn
FinancialAsset
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
FinancialAsset
Holder
financial transaction
a pour
origine
AccountFn
FinancialAsset
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
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
Bond
est une
instance
de
Bond
couponInterest
Bond
and
Interest
Bond
Holder
poss
�de
Bond
dur�e temporel
processus
periodicPayment
AccountFn
Bond
,
Interest
and
dur�e temporel
processus
aboutit
�
Bond
Holder
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Bond
est une
instance
de
CallableBond
currentAccountBalance
AccountFn
Bond
,
jour
and
mesure de devise
callDate
Bond
and
jour
amountDue
AccountFn
Bond
,
mesure de devise
and
jour
(=>
(
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
FinancialAsset
est une
instance
de
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
jour
FinancialAsset
Holder
poss
�de
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
nombre r�el
unit� de mesure
(s)
agreementPeriod
AccountFn
FinancialAsset
and
interval temporel
interestEarned
AccountFn
FinancialAsset
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
nombre r�el
+
nombre r�el
)
financial transaction
financial transaction
est une
instance
de
Payment
financial transaction
aboutit
�
FinancialAsset
Holder
financial transaction
a pour
origine
AccountFn
FinancialAsset
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
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