No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4013-4013 |
deprivesNorm e confersNorm sao disjuntos |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2105-2106 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4018-4020 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 756-757 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4014-4014 |
O argumento numero 1 de deprivesNorm e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4015-4015 |
O argumento numero 2 de deprivesNorm e' uma instancia de Formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4016-4016 |
O argumento numero 3 de deprivesNorm e' uma instancia de Norma Objectiva |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4012-4012 |
deprivesNorm e' uma instancia de Predicado Ternario |