No TPTP formula. May not be expressible in strict first order. |
naics.kif 10161-10163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8322-8322 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8823-8823 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8824-8824 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8825-8825 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8826-8826 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10159-10159 |
AdvertisingAgencies e' um sub-atributo de AdvertisingAndRelatedServices |