| No TPTP formula. May not be expressible in strict first order. | engineering.kif 498-498 | Pure twopole is a subclass of twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 501-501 | Ideal switch is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 506-506 | Ideal twopole is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 509-509 | Dissipator is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 513-513 | Across variable accumulator is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 517-517 | Through variable accumulator is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 520-520 | Source is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 531-531 | Electrical twopole is a subclass of pure twopole |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 569-569 | Translatory twopole is a subclass of pure twopole |
|
|