No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 951-951 |
ComputerMenu 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1028-1028 |
GUISlider 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1043-1043 |
GUISliderIndicator 和 % 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 986-986 |
每个 ScrollBarArrowButton 是 ScrollBar 的 part |
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 958-958 |
HorizontalScrollBar 是 ScrollBar 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 964-964 |
VerticalScrollBar 是 ScrollBar 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65453-65453 |
|