No TPTP formula. May not be expressible in strict first order. |
naics.kif 10187-10189 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10868-10868 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10867-10867 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9986-9986 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10873-10873 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10871-10871 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10875-10875 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10874-10874 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10870-10870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10872-10872 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10185-10185 |
子屬性 展示廣告 and 廣告和相關服務 |