No TPTP formula. May not be expressible in strict first order. |
naics.kif 11699-11702 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11448-11448 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11447-11447 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11446-11446 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11449-11449 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10131-10131 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11445-11445 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11697-11697 |
子屬性 移動食品服務 and 特殊食品服務 |