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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 642-644
(domain minimumBalance 1 FinancialAccount) FinancialOntology.kif 639-639
(domain minimumBalance 3 CurrencyMeasure) FinancialOntology.kif 641-641
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 640-640
(instance minimumBalance TernaryPredicate) FinancialOntology.kif 638-638

appearance as argument number 2
-------------------------


(format EnglishLanguage minimumBalance "%1 %n{doesn't} minimum balance %2 for %3") domainEnglishFormat.kif 443-443
(termFormat EnglishLanguage minimumBalance "minimum balance") domainEnglishFormat.kif 6734-6734

antecedent
-------------------------


(=>
    (and
        (instance ?Account ?FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount ?Balance))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))
FinancialOntology.kif 646-656
(=>
    (and
        (instance ?Account ?FinancialAccount)
        (minimumBalance ?Account UsingAnAccount ?Balance)
        (currentAccountBalance ?Account ?Date ?Amount)
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 658-668


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners