No TPTP formula. May not be expressible in strict first order. | Media.kif 1101-1101 | Poster est une sous-classe de PrintedSheet |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1102-1102 | Poster est une sous-classe de DisplayArtifact |
![]() |