No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8976-8979 |
|
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 8972-8972 |
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 8973-8973 |
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 8970-8970 |
WeekFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8971-8971 |
WeekFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8969-8969 |
WeekFn e' uma instancia de Relacao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8974-8974 |
Os valores retornados por WeekFn sao as sub-classes de Semana |