No TPTP formula. May not be expressible in strict first order. |
naics.kif 12022-12024 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9378-9378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9376-9376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9375-9375 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9377-9377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9374-9374 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 12020-12020 |
子屬性 亞麻供應 and 亞麻和製服供應 |