|
|
   Collector
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1071-1072 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1074-1074 | |
| 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 1075-1075 | typicalPart Collector and BjtTransistor |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15578-15578 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15577-15577 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15576-15576 |
|
|
|