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 数量 是 Image 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 150-150 |
displayedUpon 的 2 数量 是 ComputerDisplay 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 148-148 |
displayedUpon 是 二元谓语 的 instance |