No TPTP formula. May not be expressible in strict first order. |
Music.kif 1043-1044 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1048-1048 |
O argumento numero 2 de ContestFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1047-1047 |
O argumento numero 1 de ContestFn e' uma sub-classe de Contest |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1042-1042 |
ContestFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 1049-1049 |
O contra-dominio de ContestFn e' uma instancia de Contest |