No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1041-1042 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6746-6746 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7482-7482 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1043-1043 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1044-1044 |
Operational amplifier is a subclass of electrical circuit |