No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2683-2686 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2688-2688 |
O argumento numero 2 de capableAtLocation e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2689-2689 |
O argumento numero 3 de capableAtLocation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2690-2690 |
O argumento numero 4 de capableAtLocation e' uma instancia de Regiao |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2687-2687 |
O argumento numero 1 de capableAtLocation e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2682-2682 |
capableAtLocation e' uma instancia de Predicado Quaternario |