No TPTP formula. May not be expressible in strict first order. | Merge.kif 1386-1386 | Recording is a subclass of content bearing object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13296-13296 | Photograph is a subclass of recording |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14294-14294 | Audio recording is a subclass of recording |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14428-14428 | Video recording is a subclass of recording |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1391-1391 | Motion picture is a subclass of recording |