ContentBearingPhysical(content bearing physical) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14708-14708 | The number 2 argument of titles is a subclass of content bearing physical |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3251-3251 | The number 2 argument of translated title is a subclass of content bearing physical |