No TPTP formula. May not be expressible in strict first order. |
engineering.kif 798-798 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10796-10796 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10798-10798 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10795-10795 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10797-10797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10792-10792 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9971-9971 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10791-10791 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 799-799 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 800-800 |
子類 直流電動機 and 電動機 |