No TPTP formula. May not be expressible in strict first order. | engineering.kif 990-990 | Amplifier is a subclass of electrical circuit |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1000-1000 | Inverting amplifier is a subclass of amplifier |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1005-1005 | Noninverting amplifier is a subclass of amplifier |