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 |
O argumento numero 2 de mimeType e' uma instancia de MimeEncodingScheme |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2248-2248 |
mimeType e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2249-2249 |
mimeType e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2250-2250 |
mimeType e' uma sub-relacao de coding |