No TPTP formula. May not be expressible in strict first order. |
engineering.kif 82-82 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6548-6548 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6552-6552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6027-6027 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6549-6549 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6550-6550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6551-6551 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6553-6553 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 83-83 |
例 力 and 物理尺寸 |