No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8954-8957 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1522-1524 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8950-8950 |
O argumento numero 1 de WeekFn e' uma instancia de Inteiro positivo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8951-8951 |
O argumento numero 2 de WeekFn e' uma sub-classe de Ano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8948-8948 |
WeekFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8949-8949 |
WeekFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8947-8947 |
WeekFn e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8952-8952 |
Os valores retornados por WeekFn sao as sub-classes de Semana |