No TPTP formula. May not be expressible in strict first order. |
naics.kif 507-509 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12005-12005 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12004-12004 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12003-12003 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12002-12002 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10293-10293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11999-11999 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11996-11996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11998-11998 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 505-505 |
子屬性 木材作業 and 林業和伐木業 |