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 O argumento numero 1 de marginBalanceAmount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4101-4101 O argumento numero 2 de marginBalanceAmount e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4102-4102 O argumento numero 3 de marginBalanceAmount e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4098-4098 marginBalanceAmount e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4099-4099 marginBalanceAmount e' uma sub-relacao de availableBalance

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