No TPTP formula. May not be expressible in strict first order. |
engineering.kif 665-666 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11598-11598 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11599-11599 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11597-11597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10183-10183 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 667-667 |
ParallelResonance est une sous-classe de ElectricalResonance |