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 |
Le nombre 2 argument de mimeType est une instance de MimeEncodingScheme |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2248-2248 |
mimeType est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2249-2249 |
mimeType est une instance de relation partielle |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2250-2250 |
mimeType est une sous-relation de coding |