| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | Image file is a subclass of digital data |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1427-1427 | Image file is a subclass of computer file |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1431-1431 | JPG file is a subclass of image file |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1435-1435 | PDF file is a subclass of image file |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1439-1439 | DOC file is a subclass of image file |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1444-1444 | Ebook file is a subclass of image file |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1452-1452 | Digital signature is a subclass of image file |
| 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. | ComputerInput.kif 1601-1601 | Screenshot is a subclass of image file |
|
|