No TPTP formula. May not be expressible in strict first order. |
naics.kif 1878-1881 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8392-8392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9003-9003 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9004-9004 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9005-9005 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1876-1876 |
BottledWaterManufacturing e' um sub-atributo de SoftDrinkAndIceManufacturing |