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

Formal Language: 



KB Term:  Term intersection
English Word: 

  marginBalanceAmount

 Sigma KEE - marginBalanceAmount
marginBalanceAmount

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4103-4105
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4100-4100 The number 1 argument of margin balance amount is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4101-4101 The number 2 argument of margin balance amount is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4102-4102 The number 3 argument of margin balance amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4098-4098 margin balance amount is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4099-4099 margin balance amount is a subrelation of available balance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1611-1611
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1610-1610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1609-1609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36137-36137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36136-36136
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36135-36135


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