No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3834-3836 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3830-3830 |
O argumento numero 1 de availableCash e' uma instancia de FinancialAccount |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3831-3831 |
O argumento numero 2 de availableCash e' uma instancia de Dia |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3832-3832 |
O argumento numero 3 de availableCash e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3833-3833 |
availableCash e' uma instancia de Predicado Ternario |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3829-3829 |
availableCash e' uma sub-relacao de availableBalance |