No TPTP formula. May not be expressible in strict first order. |
naics.kif 12028-12030 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11216-11216 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11221-11221 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11220-11220 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11222-11222 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10064-10064 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11215-11215 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11219-11219 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11218-11218 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11214-11214 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12026-12026 |
子屬性 工業洗衣店 and 亞麻和製服供應 |