No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2728-2731 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2733-2733 |
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 2734-2734 |
O argumento numero 3 de capableAtLocation e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2735-2735 |
O argumento numero 4 de capableAtLocation e' uma instancia de Regiao |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2732-2732 |
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 2727-2727 |
capableAtLocation e' uma instancia de Predicado Quaternario |