No TPTP formula. May not be expressible in strict first order. |
naics.kif 11393-11396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9296-9296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9294-9294 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9297-9297 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9295-9295 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9298-9298 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8523-8523 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11391-11391 |
HistoricalSites e' um sub-atributo de MuseumsHistoricalSitesAndSimilarInstitutions |