No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1055-1056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6584-6584 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4766-4766 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6585-6585 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1058-1058 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1059-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1057-1057 |
LED e' uma sub-classe de Diode |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5079-5079 |
LED e' uma sub-classe de LightBulb |