Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 lastStatementBalance の数値 1 引数は FinancialAccountinstance では %n
(domain lastStatementBalance 2 CurrencyMeasure) FinancialOntology.kif 4040-4040 lastStatementBalance の数値 2 引数は 通貨測定instance では %n
(instance lastStatementBalance BinaryPredicate) FinancialOntology.kif 4038-4038 lastStatementBalance2進述語instance では %n

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


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