No TPTP formula. May not be expressible in strict first order. |
naics.kif 430-432 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8702-8702 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9644-9644 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9645-9645 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9646-9646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9647-9647 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9648-9648 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9649-9649 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6204-6204 |
羊 是 養羊 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 428-428 |
子屬性 養羊 and 綿羊和山羊養殖 |