Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
availableBalance
Sigma KEE - availableBalance
availableBalance
appearance as argument number 1
(
documentation
availableBalance
EnglishLanguage
"(
availableBalance
?Account ?Day ?Amount) means that ?Amount is the balance which is available for withdrawal from the
FinancialAccount
?Account.")
FinancialOntology.kif 3829-3831
(
domain
availableBalance
1
FinancialAccount
)
FinancialOntology.kif 3825-3825
可用余额
的 1 数量 是
金融账户
的
instance
(
domain
availableBalance
2
Day
)
FinancialOntology.kif 3826-3826
可用余额
的 2 数量 是
日
的
instance
(
domain
availableBalance
3
CurrencyMeasure
)
FinancialOntology.kif 3827-3827
可用余额
的 3 数量 是
货币测量
的
instance
(
instance
availableBalance
TernaryPredicate
)
FinancialOntology.kif 3828-3828
可用余额
是
三元谓语
的
instance
(
subrelation
availableBalance
currentAccountBalance
)
FinancialOntology.kif 3824-3824
可用余额
是
目前账户余额
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
availableBalance
"%1 在 %2 的 available balance 是 %3 ")
domainEnglishFormat.kif 2854-2854
(
format
ChineseTraditionalLanguage
availableBalance
"%1 在 %2 的 available balance 是 %3 ")
domainEnglishFormat.kif 2853-2853
(
format
EnglishLanguage
availableBalance
"the available balance of %1 on %2 is %3")
domainEnglishFormat.kif 2852-2852
(
subrelation
availableCash
availableBalance
)
FinancialOntology.kif 3847-3847
可用现金
是
可用余额
的
subrelation
(
subrelation
buyingPowerAmount
availableBalance
)
FinancialOntology.kif 4108-4108
购买电量
是
可用余额
的
subrelation
(
subrelation
marginBalanceAmount
availableBalance
)
FinancialOntology.kif 4117-4117
余额幅度
是
可用余额
的
subrelation
(
subrelation
marketValueAmount
availableBalance
)
FinancialOntology.kif 4135-4135
市值金额
是
可用余额
的
subrelation
(
subrelation
shortBalanceAmount
availableBalance
)
FinancialOntology.kif 4126-4126
短期金额
是
可用余额
的
subrelation
(
termFormat
ChineseLanguage
availableBalance
"可用余额")
domainEnglishFormat.kif 9319-9319
短期金额
是
可用余额
的
subrelation
(
termFormat
ChineseTraditionalLanguage
availableBalance
"可用餘額")
domainEnglishFormat.kif 9318-9318
短期金额
是
可用余额
的
subrelation
(
termFormat
EnglishLanguage
availableBalance
"available balance")
domainEnglishFormat.kif 9317-9317
短期金额
是
可用余额
的
subrelation
consequent
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3833-3845
如果
金融交易
是
金融交易
的
instance
和
金融账户
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
balance
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
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