No TPTP formula. May not be expressible in strict first order. |
engineering.kif 621-622 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6927-6927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8101-8101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8102-8102 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8103-8103 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8104-8104 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8106-8106 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 623-623 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 743-743 |
楷模 變壓器 and 發動機 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 624-624 |
子類 變壓器 and 傳感器 |