ImageFile(image file) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1863-1867 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9326-9326 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8534-8534 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9327-9327 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9328-9328 | |
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. | QoSontology.kif 1862-1862 | Image file is a subclass of digital data |
appearance as argument number 2 |
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 1439-1439 | DOC 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 1444-1444 | Ebook file is a subclass of image 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. | ComputerInput.kif 1601-1601 | Screenshot is a subclass of image file |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29307-29307 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29306-29306 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29305-29305 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2000-2000 | The number 1 argument of image resolution is an instance of image file |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2761-2772 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2724-2729 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2793-2798 |
|