No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1140-1141 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 854-855 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 852-852 |
O argumento numero 1 de accessibleFromMenu e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 853-853 |
O argumento numero 2 de accessibleFromMenu e' uma instancia de ComputerMenu |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
accessibleFromMenu e' uma instancia de Predicado Binario |