| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | DigitalData e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3304-3304 | HypertextLink e' uma sub-classe de DigitalData |
| 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 262-262 | Packet e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1078-1078 | ComputerPath e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | ImageFile e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1869-1869 | Database e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2105-2105 | ComputerReport e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | WebPage e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | WebSite e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2825-2825 | DigitalPost e' uma sub-classe de DigitalData |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2859-2859 | DigitalComment e' uma sub-classe de DigitalData |
|
|