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
currentAccountBalance
Sigma KEE - currentAccountBalance
currentAccountBalance
appearance as argument number 1
(
documentation
currentAccountBalance
EnglishLanguage
"(
currentAccountBalance
?Account ?Date ?Amount) means that ?Amount is the balance of the FinancialAccount ?Account as of the date ?Date.")
FinancialOntology.kif 675-676
(
domain
currentAccountBalance
1
FinancialAccount
)
FinancialOntology.kif 672-672
Il numero 1 argomenti di
currentAccountBalance
è un
istanza
di
FinancialAccount
(
domain
currentAccountBalance
2
Day
)
FinancialOntology.kif 673-673
Il numero 2 argomenti di
currentAccountBalance
è un
istanza
di
Giorno
(
domain
currentAccountBalance
3
CurrencyMeasure
)
FinancialOntology.kif 674-674
Il numero 3 argomenti di
currentAccountBalance
è un
istanza
di
MisuraMonetaria
(
instance
currentAccountBalance
TernaryPredicate
)
FinancialOntology.kif 671-671
currentAccountBalance
è un'
istanza
di
PredicatoTernario
appearance as argument number 2
(
format
ChineseLanguage
currentAccountBalance
"%1 %n{不是} 对于 %3 的 current 帐户存款")
domainEnglishFormat.kif 620-620
(
format
ChineseTraditionalLanguage
currentAccountBalance
"%1 %n{不是} 對於 %3 的 current 帳戶存款")
domainEnglishFormat.kif 619-619
(
format
EnglishLanguage
currentAccountBalance
"%1 %n{doesn't} current account balance %2 for %3")
domainEnglishFormat.kif 618-618
(
subrelation
availableBalance
currentAccountBalance
)
FinancialOntology.kif 3806-3806
availableBalance
è una
sottorelazione
di
currentAccountBalance
(
termFormat
ChineseLanguage
currentAccountBalance
"目前账户余额")
domainEnglishFormat.kif 18114-18114
(
termFormat
ChineseTraditionalLanguage
currentAccountBalance
"目前賬戶餘額")
domainEnglishFormat.kif 18113-18113
(
termFormat
EnglishLanguage
currentAccountBalance
"current account balance")
domainEnglishFormat.kif 18112-18112
antecedent
(=>
(
and
(
agreementEffectiveDate
?Account ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))
(
originalBalance
?Account ?Balance))
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
PuntoTemporale
currentAccountBalance
FinancialAccount
,
PuntoTemporale
and
MisuraMonetaria
originalBalance
FinancialAccount
and
MisuraMonetaria
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
UnitedStatesDollar
(s
NumeroReale
è
meno
di0
NumeroReale
is
uguale
a (0 +
NumeroReale
overdraft
FinancialAccount
,
NumeroReale
UnitedStatesDollar
(s and
Giorno
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
FinancialOntology.kif 701-714
FinancialAccount
è un'
istanza
di
FinancialAccount
minimumBalance
FinancialAccount
,
UsingAnAccount
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
Processo
Processo
è un'
istanza
di
Penalty
data
di
Processo
è
Giorno
Processo
fine
s in
CurrencyFn
FinancialAccount
(=>
(
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
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
Processo
è un'
istanza
di
Refinancing
Processo
esistes
durante
Giorno
Loan
è un'
istanza
di
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
AgenteCognitivo
currentAccountBalance
Loan
,
Giorno
and
MisuraMonetaria
Loan
è un
paziente
di
Processo
Loan
ScambioFinanziario
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
securedBy
Loan
and
Collateral
ScambioFinanziario
fine
s in
CurrencyFn
Loan
ScambioFinanziario
esistes
durante
Giorno
ScambioFinanziario
si
originas in
CurrencyFn
Loan
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
ScambioFinanziario
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
consequent
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
IntervalloTemporale
è un'
istanza
di
Loan
PuntoTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
totalBalance
IntervalloTemporale
and
MisuraMonetaria
currentAccountBalance
IntervalloTemporale
,
PuntoTemporale
and
MisuraMonetaria
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 408-424
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal ?Account)
(
transactionAmount
?Withdrawal
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Withdrawal))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Withdrawal))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 466-481
ScambioFinanziario
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
si
originas in
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
(=>
(
lastStatementBalance
?Account ?Balance)
(
exists
(?Statement ?Date)
(
and
(
lastStatement
?Account ?Statement)
(
dateOfStatement
?Statement ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))))
FinancialOntology.kif 4044-4050
lastStatementBalance
FinancialAccount
and
MisuraMonetaria
BankStatement
Giorno
lastStatement
FinancialAccount
and
BankStatement
dateOfStatement
BankStatement
and
Giorno
currentAccountBalance
FinancialAccount
,
Giorno
and
MisuraMonetaria
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