No TPTP formula. May not be expressible in strict first order. | Media.kif 1414-1414 | Multimedia file is a subclass of computer file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1425-1425 | MUS file is a subclass of multimedia file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1468-1468 | Audio visual file is a subclass of multimedia file |