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 684-686
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 681-681 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 683-683 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 682-682 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 680-680 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 1743-1743
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1742-1742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1741-1741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37886-37886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37885-37885
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37884-37884

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 688-701
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 703-716


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 3.0 is open source software produced by Articulate Software and its partners