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
Die Zahl 1 Argument von
currentAccountBalance
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
currentAccountBalance
2
Day
)
FinancialOntology.kif 673-673
Die Zahl 2 Argument von
currentAccountBalance
ist ein
fall
von
Day
%n{nicht}
(
domain
currentAccountBalance
3
CurrencyMeasure
)
FinancialOntology.kif 674-674
Die Zahl 3 Argument von
currentAccountBalance
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
instance
currentAccountBalance
TernaryPredicate
)
FinancialOntology.kif 671-671
currentAccountBalance
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
ist eine
teilrelation
von
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
Wenn
agreementEffectiveDate
FinancialAccount
and
TimePoint
und
currentAccountBalance
** FinancialAccount
,
** TimePoint
and
CurrencyMeasure
,
dann
originalBalance
** FinancialAccount
and
** CurrencyMeasure
(=>
(
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
Wenn
currentAccountBalance
FinancialAccount
,
Day
and
RealNumber
UnitedStatesDollar
(s) und
** RealNumber
ist
kleinerAls
0 %n{nicht} und
** RealNumber
ist gleich (0 und
** RealNumber
) %n{nicht},
dann
overdraft
** FinancialAccount
,
** ** RealNumber
UnitedStatesDollar
(s) and
** Day
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
UsingAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
currentAccountBalance
** FinancialAccount
,
Day
and
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Penalty
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und
** Process
endet an
CurrencyFn
** FinancialAccount
%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
?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
Wenn
FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
die
zeit
des Bestehens von
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
Process
ist ein
fall
von
Refinancing
%n{nicht} und
** Process
besteht
waehrend
Day
%n{nicht} und
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
borrower
** Loan
and
CognitiveAgent
und
currentAccountBalance
** Loan
,
** Day
and
CurrencyMeasure
und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Loan
und
FinancialTransaction
um
** ** Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** ** Loan
and
** CognitiveAgent
und
securedBy
** Loan
and
** Collateral
und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht} und
** FinancialTransaction
besteht
waehrend
** Day
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** ** Loan
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
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
Wenn
FinancialTransaction
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
beginnet an
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
instance
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
Wenn
TimeInterval
ist ein
fall
von
Loan
%n{nicht} und
TimePoint
ist gleich der
anfang
von
** TimeInterval
%n{nicht} und
totalBalance
** TimeInterval
and
CurrencyMeasure
,
dann
currentAccountBalance
** TimeInterval
,
** TimePoint
and
** CurrencyMeasure
(=>
(
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
Wenn
FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
die
zeit
des Bestehens von
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
FinancialTransaction
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
beginnet an
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
lastStatementBalance
?Account ?Balance)
(
exists
(?Statement ?Date)
(
and
(
lastStatement
?Account ?Statement)
(
dateOfStatement
?Statement ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))))
FinancialOntology.kif 4044-4050
Wenn
lastStatementBalance
FinancialAccount
and
CurrencyMeasure
,
dann es gibt
BankStatement
und
Day
um
lastStatement
** FinancialAccount
and
** BankStatement
und
dateOfStatement
** BankStatement
and
** Day
und
currentAccountBalance
** FinancialAccount
,
** Day
and
** CurrencyMeasure
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