| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2232-2232 | MIME encoding scheme is a subclass of coding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2236-2236 | Mime text is a subclass of MIME encoding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2241-2241 | Mime image is a subclass of MIME encoding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2242-2242 | Mime audio is a subclass of MIME encoding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2243-2243 | Mime video is a subclass of MIME encoding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2244-2244 | Mime application is a subclass of MIME encoding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2245-2245 | Mime message is a subclass of MIME encoding scheme |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2246-2246 | Mime multipart is a subclass of MIME encoding scheme |
|
|