No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2472-2475 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6614-6618 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1165-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6611-6611 |
O argumento numero 1 de UnitFn e' uma instancia de Quantidade Fisica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6610-6610 |
UnitFn e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6609-6609 |
UnitFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6612-6612 |
O contra-dominio de UnitFn e' uma instancia de Unidade de Medida |