| No TPTP formula. May not be expressible in strict first order. | engineering.kif 821-821 | Terminal est une sous-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1068-1068 | Base est une sous-classe de Terminal |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1073-1073 | Collector est une sous-classe de Terminal |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1077-1077 | Emitter est une sous-classe de Terminal |
|
|