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
lastStatementBalance
Sigma KEE - lastStatementBalance
lastStatementBalance
appearance as argument number 1
(
documentation
lastStatementBalance
EnglishLanguage
"(
lastStatementBalance
?Account ?Amount) holds if ?Amount is the balance shown on the last statement.")
FinancialOntology.kif 4041-4042
(
domain
lastStatementBalance
1
FinancialAccount
)
FinancialOntology.kif 4039-4039
The number 1 argument of
last statement balance
is an
instance
of
financial account
(
domain
lastStatementBalance
2
CurrencyMeasure
)
FinancialOntology.kif 4040-4040
The number 2 argument of
last statement balance
is an
instance
of
currency measure
(
instance
lastStatementBalance
BinaryPredicate
)
FinancialOntology.kif 4038-4038
last statement balance
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
lastStatementBalance
"%2 %n 是 %1 的 last 声明结余")
domainEnglishFormat.kif 1447-1447
(
format
ChineseTraditionalLanguage
lastStatementBalance
"%2 %n 是 %1 的 last 聲明結餘")
domainEnglishFormat.kif 1446-1446
(
format
EnglishLanguage
lastStatementBalance
"%2 is %n a last statement balance of %1")
domainEnglishFormat.kif 1445-1445
(
termFormat
ChineseLanguage
lastStatementBalance
"最后陈述余额")
domainEnglishFormat.kif 33427-33427
(
termFormat
ChineseTraditionalLanguage
lastStatementBalance
"最後陳述餘額")
domainEnglishFormat.kif 33426-33426
(
termFormat
EnglishLanguage
lastStatementBalance
"last statement balance")
domainEnglishFormat.kif 33425-33425
antecedent
(=>
(
lastStatementBalance
?Account ?Balance)
(
exists
(?Statement ?Date)
(
and
(
lastStatement
?Account ?Statement)
(
dateOfStatement
?Statement ?Date)
(
currentAccountBalance
?Account ?Date ?Balance))))
FinancialOntology.kif 4044-4050
If
a currency measure
is a
last
statement balance of
a financial account
,
then there exist
a bank statement
and
a day
such that
the bank statement
is a
last
statement of
the financial account
and
the day
is a
date
of statement of
the bank statement
and
the financial account
current
account balance
the day
for
the currency measure
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