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 数量 是 实体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 853-853 |
accessibleFromMenu 的 2 数量 是 ComputerMenu 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 851-851 |
accessibleFromMenu 是 二元谓语 的 instance |