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 |
Le nombre 1 argument de MakingFn est une sous-classe de faire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18370-18370 |
MakingFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18372-18372 |
Les valeurs retourn�es par MakingFn sont des sous-classes de objet |