No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1076-1076 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5985-5985 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6468-6468 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6470-6470 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6467-6467 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6471-6471 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6469-6469 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1078-1078 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1077-1077 |
Emitter est une sous-classe de Terminal |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1079-1079 |
typicalPart Emitter and BjtTransistor |