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
Il numero 1 argomenti di
AccountFn
è un
istanza
di
FinancialAsset
(
instance
AccountFn
UnaryFunction
)
FinancialOntology.kif 2315-2315
AccountFn
è un'
istanza
di
FunzioneUnaria
(
range
AccountFn
FinancialAccount
)
FinancialOntology.kif 2317-2317
rango
di
AccountFn
è un'istanza di
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
è un'
istanza
di
FinancialAccount
AgenteCognitivo
possiede
es
FinancialAsset
FinancialAccount
is
uguale
a
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
AgenteCognitivo
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Bond
è un'
istanza
di
CallableBond
currentAccountBalance
AccountFn
Bond
,
Giorno
and
MisuraMonetaria
callDate
Bond
and
Giorno
amountDue
AccountFn
Bond
,
MisuraMonetaria
and
Giorno
(=>
(
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
è un'
istanza
di
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Giorno
FinancialAsset
Holder
possiede
es
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
NumeroReale
Unit�DiMisura
(s
agreementPeriod
AccountFn
FinancialAsset
and
IntervalloTemporale
interestEarned
AccountFn
FinancialAsset
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
FinancialAsset
Holder
ScambioFinanziario
si
originas in
AccountFn
FinancialAsset
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
è un'
istanza
di
Bond
couponInterest
Bond
and
Interest
Bond
Holder
possiede
es
Bond
Durata
Processo
periodicPayment
AccountFn
Bond
,
Interest
and
Durata
Processo
fine
s in
Bond
Holder
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
Bond
è un'
istanza
di
CallableBond
currentAccountBalance
AccountFn
Bond
,
Giorno
and
MisuraMonetaria
callDate
Bond
and
Giorno
amountDue
AccountFn
Bond
,
MisuraMonetaria
and
Giorno
(=>
(
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
è un'
istanza
di
ZeroCouponBond
maturityDate
AccountFn
FinancialAsset
and
Giorno
FinancialAsset
Holder
possiede
es
FinancialAsset
principalAmount
AccountFn
FinancialAsset
and
NumeroReale
Unit�DiMisura
(s
agreementPeriod
AccountFn
FinancialAsset
and
IntervalloTemporale
interestEarned
AccountFn
FinancialAsset
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
fine
s in
FinancialAsset
Holder
ScambioFinanziario
si
originas in
AccountFn
FinancialAsset
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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