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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 641-643
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 638-638 The number 1 argument of minimum balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 640-640 The number 3 argument of minimum balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 639-639 The number 2 argument of minimum balance is a subclass of financial transaction
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 637-637 minimum balance is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1739-1739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1738-1738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1737-1737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37801-37801 "最低余额" is the printable form of minimum balance in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37800-37800 "最低餘額" is the printable form of minimum balance in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37799-37799 "minimum balance" is the printable form of minimum balance in english language

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 645-655
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 657-667


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