No TPTP formula. May not be expressible in strict first order. |
naics.kif 11950-11953 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8970-8970 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8971-8971 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8972-8972 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8974-8974 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11948-11948 |
BeautySalons e' um sub-atributo de HairNailAndSkinCareServices |