No TPTP formula. May not be expressible in strict first order. | Media.kif 1466-1466 | Audio visual file is a subclass of image file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1467-1467 | Audio visual file is a subclass of audio 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 |