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 |
Le nombre 1 argument de accessibleFromMenu est une instance de entit� |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 853-853 |
Le nombre 2 argument de accessibleFromMenu est une instance de ComputerMenu |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
accessibleFromMenu est une instance de pr�dicat binaire |