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 |
|
![]() |
![]() |