No TPTP formula. May not be expressible in strict first order. |
naics.kif 436-438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8506-8506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9267-9267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9268-9268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9269-9269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9270-9270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9271-9271 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6205-6205 |
山羊 是 山羊養殖 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 434-434 |
子屬性 山羊養殖 and 綿羊和山羊養殖 |