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
Die Zahl 1 Argument von
AccountFn
ist ein
fall
von
FinancialAsset
%n{nicht}
(
instance
AccountFn
UnaryFunction
)
FinancialOntology.kif 2315-2315
AccountFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
AccountFn
FinancialAccount
)
FinancialOntology.kif 2317-2317
bildbereich
von
AccountFn
ist ein fall von
FinancialAccount
{nicht}
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
ist ein
fall
von
FinancialAccount
%n{nicht} und
CognitiveAgent
besitzt
FinancialAsset
%n{nicht} und
** FinancialAccount
ist gleich
AccountFn
** FinancialAsset
%n{nicht} genau dann wenn
accountHolder
** FinancialAccount
and
** CognitiveAgent
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Wenn
Bond
ist ein
fall
von
CallableBond
%n{nicht} und
currentAccountBalance
AccountFn
** Bond
,
Day
and
CurrencyMeasure
und
callDate
** Bond
and
** Day
,
dann
amountDue
AccountFn
** Bond
,
** CurrencyMeasure
and
** Day
(=>
(
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
Wenn
FinancialAsset
ist ein
fall
von
ZeroCouponBond
%n{nicht} und
maturityDate
AccountFn
** FinancialAsset
and
Day
und
** FinancialAsset
Holder besitzt
** FinancialAsset
%n{nicht} und
principalAmount
AccountFn
** FinancialAsset
and
RealNumber
UnitOfMeasure
(s) und
agreementPeriod
AccountFn
** FinancialAsset
and
TimeInterval
und
interestEarned
AccountFn
** FinancialAsset
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** FinancialAsset
Holder %n{nicht} und
** FinancialTransaction
beginnet an
AccountFn
** FinancialAsset
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
Bond
ist ein
fall
von
Bond
%n{nicht} und
couponInterest
** Bond
and
Interest
und
** Bond
Holder besitzt
** Bond
%n{nicht},
dann es gibt
TimeDuration
und
Process
um
periodicPayment
AccountFn
** Bond
,
** Interest
and
** TimeDuration
und
** Process
endet an
** Bond
Holder %n{nicht}
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Wenn
Bond
ist ein
fall
von
CallableBond
%n{nicht} und
currentAccountBalance
AccountFn
** Bond
,
Day
and
CurrencyMeasure
und
callDate
** Bond
and
** Day
,
dann
amountDue
AccountFn
** Bond
,
** CurrencyMeasure
and
** Day
(=>
(
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
Wenn
FinancialAsset
ist ein
fall
von
ZeroCouponBond
%n{nicht} und
maturityDate
AccountFn
** FinancialAsset
and
Day
und
** FinancialAsset
Holder besitzt
** FinancialAsset
%n{nicht} und
principalAmount
AccountFn
** FinancialAsset
and
RealNumber
UnitOfMeasure
(s) und
agreementPeriod
AccountFn
** FinancialAsset
and
TimeInterval
und
interestEarned
AccountFn
** FinancialAsset
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
endet an
** FinancialAsset
Holder %n{nicht} und
** FinancialTransaction
beginnet an
AccountFn
** FinancialAsset
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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