| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 171-171 | ComputerFile e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 177-177 | ComputerDirectory e' uma sub-classe de ComputerFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1414-1414 | MultimediaFile e' uma sub-classe de ComputerFile |
| 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. | Media.kif 1454-1454 | AudioFile e' uma sub-classe de ComputerFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1473-1473 | XMLFile e' uma sub-classe de ComputerFile |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1519-1519 | SoftwareFile e' uma sub-classe de ComputerFile |
|
|