|
|
  Steering
|
|
|
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 341-341 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 344-344 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 346-346 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 380-380 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 345-345 |
|
|
|