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 |
The number 1 argument of Making fn is a subclass of making |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18392-18392 |
Making fn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18394-18394 |
The values returned by Making fn are subclasses of object |