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 est une sous-classe de ComputerFile |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | ImageFile est une sous-classe de DigitalData |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1466-1466 | AudioVisualFile est une sous-classe de ImageFile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1439-1439 | DOCFile est une sous-classe de ImageFile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1452-1452 | DigitalSignature est une sous-classe de ImageFile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1444-1444 | EBookFile est une sous-classe de ImageFile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1431-1431 | JPGFile est une sous-classe de ImageFile |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1435-1435 | PDFFile est une sous-classe de ImageFile |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1601-1601 | Screenshot est une sous-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 | Le nombre 1 argument de imageResolution est une instance 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 |