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
minimumBalance
Sigma KEE - minimumBalance
minimumBalance
appearance as argument number 1
(
documentation
minimumBalance
EnglishLanguage
"(
minimumBalance
?Account ?ActivityType ?Amount) means that ?Amount is the mimimum amount required by the type of
FinancialTransaction
?ActivityType.")
FinancialOntology.kif 682-684
(
domain
minimumBalance
1
FinancialAccount
)
FinancialOntology.kif 679-679
域
最低餘額
, 1 and
金融賬戶
(
domain
minimumBalance
3
CurrencyMeasure
)
FinancialOntology.kif 681-681
域
最低餘額
, 3 and
CurrencyMeasure
(
domainSubclass
minimumBalance
2
FinancialTransaction
)
FinancialOntology.kif 680-680
域子類
最低餘額
, 2 and
FinancialTransaction
(
instance
minimumBalance
TernaryPredicate
)
FinancialOntology.kif 678-678
例
最低餘額
and
TernaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
minimumBalance
"%1 %n 是 对于 %3 的 minimum 金额 %2 ")
domainEnglishFormat.kif 1739-1739
(
format
ChineseTraditionalLanguage
minimumBalance
"%1 %n 是 對於 %3 的 minimum 金額 %2 ")
domainEnglishFormat.kif 1738-1738
(
format
EnglishLanguage
minimumBalance
"%1 is %n minimum balance %2 for %3")
domainEnglishFormat.kif 1737-1737
(
termFormat
ChineseLanguage
minimumBalance
"最低余额")
domainEnglishFormat.kif 37877-37877
(
termFormat
ChineseTraditionalLanguage
minimumBalance
"最低餘額")
domainEnglishFormat.kif 37876-37876
(
termFormat
EnglishLanguage
minimumBalance
"minimum balance")
domainEnglishFormat.kif 37875-37875
antecedent
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
FinancialOntology.kif 686-699
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
開戶
例
UnitOfMeasure
and
UnitOfCurrency
FinancialTransaction
TimePoint
and
RealNumber
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
大於或等於
RealNumber
and
RealNumber
TimePoint
是
金融賬戶
的
agreement
生效日期
日期
FinancialTransaction
and
TimePoint
(=>
(
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
使用帳戶
例
UnitOfMeasure
and
UnitOfCurrency
金融賬戶
對於 %3 的
current
帳戶存款
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
日期
Process
and
Day
目的地
Process
and
金融賬戶
的
currency
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