No TPTP formula. May not be expressible in strict first order. |
engineering.kif 571-571 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10774-10774 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10775-10775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10773-10773 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10777-10777 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9967-9967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10778-10778 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 572-572 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 573-573 |
DamperElement est une sous-classe de Dissipator |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 574-574 |
DamperElement est une sous-classe de TranslatoryTwopole |