splitFor |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2225-2225 | O argumento numero 1 de splitFor e' uma instancia de StockSplit |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2226-2226 | O argumento numero 2 de splitFor e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2227-2227 | O argumento numero 3 de splitFor e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2224-2224 | splitFor e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2331-2331 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2330-2330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2329-2329 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54668-54668 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54667-54667 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54666-54666 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2229-2239 |
|