No TPTP formula. May not be expressible in strict first order. |
naics.kif 11387-11389 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6713-6713 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7369-7369 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7370-7370 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7371-7371 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7372-7372 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7373-7373 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7374-7374 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7375-7375 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7376-7376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7377-7377 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7378-7378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7379-7379 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7380-7380 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11385-11385 |
Museums e' um sub-atributo de MuseumsHistoricalSitesAndSimilarInstitutions |