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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - availableBalance
availableBalance

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3829-3831
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3825-3825 The number 1 argument of available balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3826-3826 The number 2 argument of available balance is an instance of day
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3827-3827 The number 3 argument of available balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3828-3828 available balance is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3824-3824 available balance is a subrelation of current account balance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2854-2854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2853-2853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2852-2852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3847-3847 available cash is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4108-4108 buying power amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4117-4117 margin balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4135-4135 market value amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4126-4126 short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9319-9319 short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9318-9318 short balance amount is a subrelation of available balance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9317-9317 short balance amount is a subrelation of available balance

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3833-3845


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