No TPTP formula. May not be expressible in strict first order. |
engineering.kif 959-960 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11889-11889 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10272-10272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11888-11888 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 961-961 |
SpoolValve est une sous-classe de DirectionalControlValve |