No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1048-1048 |
Diode e' uma sub-classe de SemiconductorComponent |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1110-1110 |
Thyristor e' uma sub-classe de SemiconductorComponent |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1064-1064 |
Transistor e' uma sub-classe de SemiconductorComponent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52035-52035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52034-52034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52033-52033 |
|