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
目前账户余额
的 1 数量 是
金融账户
的
instance
(
domain
currentAccountBalance
2
Day
)
FinancialOntology.kif 673-673
目前账户余额
的 2 数量 是
日
的
instance
(
domain
currentAccountBalance
3
CurrencyMeasure
)
FinancialOntology.kif 674-674
目前账户余额
的 3 数量 是
货币测量
的
instance
(
instance
currentAccountBalance
TernaryPredicate
)
FinancialOntology.kif 671-671
目前账户余额
是
三元谓语
的
instance
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
可用余额
是
目前账户余额
的
subrelation
(
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
如果
时点
是
金融账户
的
agreement
生效日期 和
那个 金融账户
对于 %3 的
current
帐户存款,
然后
货币测量
是
那个 金融账户
的
original
金额
(=>
(
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
如果
金融账户
对于 %3 的
current
帐户存款 和
实数
是
lessThan
0 和
另一个 实数
equal
(0 和
那个 实数
),
然后
那个 金融账户
是 对于
日
的
overdraft
那个 另外 实数
美国美元
(=>
(
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
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
使用帐户
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
是
lessThan
那个 实数
,
然后 有存在
过程
这样
那个 过程
是
罚款
的
instance
和
那个 过程
的
date
是
日
和
那个 过程
在
那个 金融账户
的
currency
结束
(=>
(
and
(
instance
?Bond
CallableBond
)
(
currentAccountBalance
(
AccountFn
?Bond) ?Date ?Amount)
(
callDate
?Bond ?Date))
(
amountDue
(
AccountFn
?Bond) ?Amount ?Date))
FinancialOntology.kif 2489-2494
如果
键
是
可赎回的债券
的
instance
和
那个 键
的帐号 对于 %3 的
current
帐户存款 和
日
是
那个 键
的
call
日期,
然后
那个 键
的帐号 对于
那个 日
到期的
amount
货币测量
(=>
(
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
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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
如果
金融交易
是
付款
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
那个 金融账户
是
金融账户
的
instance
和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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
如果
过程
是
再融资
的
instance
和
那个 过程
在
日
是 存在 和
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
那个 贷款
是
有认知的主事
的
borrower
和
那个 贷款
对于 %3 的
current
帐户存款 和
那个 贷款
是
那个 过程
的
patient
,
然后 有存在
另一个 贷款
和
金融交易
这样
那个 另外 贷款
是
贷款
的
instance
和
那个 另外 贷款
是
那个 有认知的主事
的
borrower
和
那个 抵押
是
那个 贷款
的
secured
和
那个 金融交易
在
那个 贷款
的
currency
结束 和
那个 金融交易
在
那个 日
是 存在 和
那个 另外 贷款
的
currency
是
那个 金融交易
的源头 和
货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
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
如果
金融交易
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
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
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
and
(
instance
?LOAN
Loan
)
(
equal
?START
(
BeginFn
?LOAN))
(
totalBalance
?LOAN ?BAL))
(
currentAccountBalance
?LOAN ?START ?BAL))
FinancialOntology.kif 1399-1404
如果
时距
是
贷款
的
instance
和
时点
equal
那个 时距
的开始 和
货币测量
是
那个 时距
的
total
存款,
然后
那个 时距
对于 %3 的
current
帐户存款
(=>
(
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
如果
金融交易
是
付款
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
那个 金融账户
是
金融账户
的
instance
和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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
如果
金融交易
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
lastStatementBalance
?Account ?Balance)
(
exists
(?Statement ?Date)
(
and
(
lastStatement
?Account ?Statement)
(
dateOfStatement
?Statement ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))))
FinancialOntology.kif 4044-4050
如果
货币测量
是
金融账户
的
last
声明结余,
然后 有存在
银行对帐单
和
日
这样
那个 银行对帐单
是
那个 金融账户
的
last
声明 和 %2 是 %3 的声明
date
和
那个 金融账户
对于 %3 的
current
帐户存款
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