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
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 3811-3813
(
domain
availableBalance
1
FinancialAccount
)
FinancialOntology.kif 3807-3807
Die Zahl 1 Argument von
availableBalance
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
availableBalance
2
Day
)
FinancialOntology.kif 3808-3808
Die Zahl 2 Argument von
availableBalance
ist ein
fall
von
Day
%n{nicht}
(
domain
availableBalance
3
CurrencyMeasure
)
FinancialOntology.kif 3809-3809
Die Zahl 3 Argument von
availableBalance
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
instance
availableBalance
TernaryPredicate
)
FinancialOntology.kif 3810-3810
availableBalance
ist ein
fall
von
TernaryPredicate
%n{nicht}
(
subrelation
availableBalance
currentAccountBalance
)
FinancialOntology.kif 3806-3806
availableBalance
ist eine
teilrelation
von
currentAccountBalance
appearance as argument number 2
(
format
ChineseLanguage
availableBalance
"%1 在 %2 的 available balance 是 %3 ")
domainEnglishFormat.kif 2858-2858
(
format
ChineseTraditionalLanguage
availableBalance
"%1 在 %2 的 available balance 是 %3 ")
domainEnglishFormat.kif 2857-2857
(
format
EnglishLanguage
availableBalance
"the available balance of %1 on %2 is %3")
domainEnglishFormat.kif 2856-2856
(
subrelation
availableCash
availableBalance
)
FinancialOntology.kif 3829-3829
availableCash
ist eine
teilrelation
von
availableBalance
(
subrelation
buyingPowerAmount
availableBalance
)
FinancialOntology.kif 4090-4090
buyingPowerAmount
ist eine
teilrelation
von
availableBalance
(
subrelation
marginBalanceAmount
availableBalance
)
FinancialOntology.kif 4099-4099
marginBalanceAmount
ist eine
teilrelation
von
availableBalance
(
subrelation
marketValueAmount
availableBalance
)
FinancialOntology.kif 4117-4117
marketValueAmount
ist eine
teilrelation
von
availableBalance
(
subrelation
shortBalanceAmount
availableBalance
)
FinancialOntology.kif 4108-4108
shortBalanceAmount
ist eine
teilrelation
von
availableBalance
(
termFormat
ChineseLanguage
availableBalance
"可用余额")
domainEnglishFormat.kif 9318-9318
(
termFormat
ChineseTraditionalLanguage
availableBalance
"可用餘額")
domainEnglishFormat.kif 9317-9317
(
termFormat
EnglishLanguage
availableBalance
"available balance")
domainEnglishFormat.kif 9316-9316
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 3815-3827
Wenn
FinancialTransaction
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** FinancialTransaction
beginnet an
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
datum
von
** FinancialTransaction
ist
Day
%n{nicht},
dann es gibt
** RealNumber
um
availableBalance
** FinancialAccount
,
** Day
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
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