No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1770-1770 | Window scrolling is a subclass of computer process |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1783-1783 | Window scrolling by user is a subclass of window scrolling |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1810-1810 | Vertical window scrolling is a subclass of window scrolling |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1818-1818 | Horizontal window scrolling is a subclass of window scrolling |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1827-1827 | Two-d window scrolling is a subclass of window scrolling |