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 |
域 accessibleFromMenu, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 853-853 |
域 accessibleFromMenu, 2 and ComputerMenu |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
例 accessibleFromMenu and BinaryPredicate |