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 18395-18396 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18393-18393 |
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 18392-18392 |
MakingFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18394-18394 |
Os valores retornados por MakingFn sao as sub-classes de Objeto |