No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 4055-4055 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18373-18374 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18371-18371 |
O argumento numero 1 de MakingFn e' uma sub-classe de Fazer |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18370-18370 |
MakingFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18372-18372 |
Os valores retornados por MakingFn sao as sub-classes de Objeto |