No TPTP formula. May not be expressible in strict first order. |
naics.kif 2998-3000 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8390-8390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8995-8995 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8997-8997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8999-8999 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9001-9001 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9002-9002 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2996-2996 |
BooksPrinting e' um sub-atributo de Printing |