No TPTP formula. May not be expressible in strict first order. | Media.kif 1101-1101 | Poster e' uma sub-classe de PrintedSheet |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1102-1102 | Poster e' uma sub-classe de DisplayArtifact |