No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 151-154 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 149-149 |
域 displayedUpon, 1 and Image |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 150-150 |
域 displayedUpon, 2 and ComputerDisplay |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 148-148 |
例 displayedUpon and BinaryPredicate |