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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 数量 是 金融账户instance
(domain minimumBalance 3 CurrencyMeasure) FinancialOntology.kif 681-681 最低余额 的 3 数量 是 货币测量instance
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 680-680 最低余额 的 2 数量 是 金融交易subclass
(instance minimumBalance TernaryPredicate) FinancialOntology.kif 678-678 最低余额三元谓语instance

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
        (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


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