No TPTP formula. May not be expressible in strict first order. |
naics.kif 2978-2980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11723-11723 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11725-11725 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11726-11726 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11720-11720 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11719-11719 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11724-11724 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11722-11722 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10216-10216 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11721-11721 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2976-2976 |
QuickPrinting e' um sub-atributo de Printing |