No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2716-2719 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2721-2721 |
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 2722-2722 |
O argumento numero 3 de capableAtLocation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2723-2723 |
O argumento numero 4 de capableAtLocation e' uma instancia de Regiao |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2720-2720 |
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 2715-2715 |
capableAtLocation e' uma instancia de Predicado Quaternario |