No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 977-977 |
ScrollBarBar 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 979-979 |
ScrollBarBar 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 978-978 |
ScrollBarBar 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 976-976 |
ScrollBarBar 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 972-974 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 975-975 |
每个 ScrollBarBar 是 ScrollBar 的 part |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 971-971 |
ScrollBarBar 是 GUIActiveArea 的 subclass |