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 682-684
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 679-679 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 681-681 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 680-680 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 678-678 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 37877-37877
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37876-37876
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37875-37875

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714


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