|
|
   ImageFile
|
|
|
| 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 | ImageFile e' uma sub-classe de ComputerFile |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | ImageFile e' uma sub-classe de DigitalData |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1466-1466 | AudioVisualFile e' uma sub-classe de ImageFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1439-1439 | DOCFile e' uma sub-classe de ImageFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1452-1452 | DigitalSignature e' uma sub-classe de ImageFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1444-1444 | EBookFile e' uma sub-classe de ImageFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1431-1431 | JPGFile e' uma sub-classe de ImageFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1435-1435 | PDFFile e' uma sub-classe de ImageFile |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1601-1601 | Screenshot e' uma sub-classe de ImageFile |
| 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 | O argumento numero 1 de imageResolution e' uma instancia de ImageFile |
| 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 |
|
|
|
