No TPTP formula. May not be expressible in strict first order. |
naics.kif 1414-1417 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6516-6516 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6517-6517 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6015-6015 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6519-6519 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6515-6515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6518-6518 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1412-1412 |
Flour milling is a subattribute of flour milling and malt manufacturing |