No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2252-2253 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2251-2251 |
域 mimeType, 2 and MimeEncodingScheme |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2248-2248 |
例 mimeType and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2249-2249 |
例 mimeType and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2250-2250 |
子關係 mimeType and coding |