No TPTP formula. May not be expressible in strict first order. |
naics.kif 8985-8987 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11744-11744 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11745-11745 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11748-11748 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11747-11747 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11743-11743 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11746-11746 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10225-10225 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8983-8983 |
子屬性 記錄生產 and 錄音行業 |