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 |
The number 1 argument of accessible from menu is an instance of entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 853-853 |
The number 2 argument of accessible from menu is an instance of computer menu |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
accessible from menu is an instance of binary predicate |