No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | Digital data is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3304-3304 | Hyperlink is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 171-171 | Computer file is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 262-262 | Packet is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1078-1078 | Computer path is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | Image file is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1869-1869 | Database is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2105-2105 | Computer report is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1482-1482 | Web page is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1494-1494 | Web site is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2825-2825 | Digital post is a subclass of digital data |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2859-2859 | Digital comment is a subclass of digital data |