| No TPTP formula. May not be expressible in strict first order. | Media.kif 1065-1065 | PrintedSheet 是 VisualContentBearingObject 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1066-1066 | PrintedSheet 是 DataDisplayDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1067-1067 | PrintedSheet 是 DataStorageDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1101-1101 | Poster 是 PrintedSheet 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1108-1108 | Transparency 是 PrintedSheet 的 subclass |
|
|