liquidity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1816-1816 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1813-1813 | O argumento numero 1 de liquidity e' uma instancia de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1814-1814 | O argumento numero 2 de liquidity e' uma instancia de LiquidityAttribute |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1815-1815 | liquidity e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3766-3766 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3765-3765 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3764-3764 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34637-34637 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34636-34636 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34635-34635 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1818-1828 | Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1059-1061 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1105-1107 |