ImageFile - Sigma Knowledge base Browser

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	If a process is an instance of downloading non audio video image user file and an entity is a patient of the process and the entity is an instance of computer file, then the entity is not an instance of image file and the entity is not an instance of audio file and the entity is not an instance of multimedia file
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2724-2729	If a process is an instance of downloading image, then there exists an entity such that the entity is a patient of the process and the entity is an instance of image file
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2793-2798	If a process is an instance of uploading image, then there exists an entity such that the entity is a patient of the process and the entity is an instance of image file