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 数量 是 MimeEncodingScheme 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2248-2248 |
mimeType 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2249-2249 |
mimeType 是 部分值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2250-2250 |
mimeType 是 coding 的 subrelation |