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 177-177 | Computer directory is a subclass of computer file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1414-1414 | Multimedia file is a subclass of computer file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1427-1427 | Image file is a subclass of computer file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1454-1454 | Audio file is a subclass of computer file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1473-1473 | XML file is a subclass of computer file |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1519-1519 | Software file is a subclass of computer file |