No TPTP formula. May not be expressible in strict first order. |
Music.kif 350-352 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 356-356 |
O argumento numero 1 de anthem e' uma instancia de Musica |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 357-357 |
O argumento numero 2 de anthem e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 355-355 |
anthem e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 349-349 |
anthem e' uma sub-relacao de represents |